Results 171 to 180 of about 506 (185)
Some of the next articles are maybe not open access.
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
Electronic Notes in Theoretical Computer Science, 2011Ana Sokolova
exaly
Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics
Philosophical Transactions Series A, Mathematical, Physical, and Engineering Sciences, 2018Leo Corry
exaly
A sound and complete axiomatization of delimited continuations
ACM SIGPLAN Notices, 2003Masahito Hasegawa
exaly
The Axiomatic Characterization of Functions
Mathematical Logic Quarterly, 1977B. Schweizer, A. Sklar
openaire +1 more source
Young’s axiomatization of the Shapley value: a new proof
Annals of Operations Research, 2015Miklós Pintér, Pintér Miklós
exaly
A Note on Luce-Fishburn Axiomatization of Rank-Dependent Utility
Journal of Risk and Uncertainty, 2004Liping Liu
exaly
A PARALLEL BEST-FIRST B&B ALGORITHM AND ITS AXIOMATIZATION
International Journal of Parallel, Emergent and Distributed Systems, 1994exaly
First-order logic axiomatization of metric graph theory
Theoretical Computer ScienceManoj Changat +2 more
exaly