438 search results - page 2 / 88 » On theorem proving in annotated logics |
CADE
1990
Springer
13 years 10 months ago
1990
Springer
AMAI
2007
Springer
13 years 6 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
CADE
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
CADE
2001
Springer
13 years 10 months ago
2001
Springer
FASE
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...