A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
Probabilistic non-determinism
Handbook of logic in computer science (vol. 3)
Multi lingual sequent calculus and coherent spaces
Fundamenta Informaticae
The Versatile Continuous Order
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
A Logic for Probabilities in Semantics
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
On the relationship between compact regularity and Gentzen's cut rule
Theoretical Computer Science - Logic, semantics and theory of programming
Domains, integration and ‘positive analysis’
Mathematical Structures in Computer Science
A domain-theoretic Banach–Alaoglu theorem
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation hemi-metrics between infinite-state stochastic games
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Prevision domains and convex powercones
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
De groot duality and models of choice: Angels, demons and nature†
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Continuous capacities on continuous state spaces
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Hi-index | 0.00 |