2519 search results - page 210 / 504 » Reasoning with Textual Cases |
158
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...
162
click to vote
FLOPS
2004
Springer
15 years 12 months ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...
158
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
138
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
A case study of usability of dial-a-ride bus systems is reported. We conduct a social simulation to compare efficiencies of the dial-a-ride bus systems, one of possible multiagent...
158
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...