3773 search results - page 178 / 755 » Logical Reasoning |
133
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
We describe a formalization of asymptotic O notation using the Isabelle/HOL proof assistant.
182
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
173
click to vote
LILOG
1989
15 years 10 months ago
1989
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
197
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
182
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...