25 search results - page 2 / 5 » cade 2004 |
CADE
2004
Springer
14 years 5 months ago
2004
Springer
CADE
2004
Springer
14 years 5 months ago
2004
Springer
CADE
2004
Springer
14 years 5 months ago
2004
Springer
We describe a formalization of asymptotic O notation using the Isabelle/HOL proof assistant.
CADE
2004
Springer
14 years 5 months ago
2004
Springer
Lambda logic is the union of first order logic and lambda calculus. We prove basic metatheorems for both total and partial versions of lambda logic. We use lambda logic to state a...
CADE
2004
Springer
14 years 5 months ago
2004
Springer
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twof...