|
47
|
Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems
– Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott
- 1994
|
|
203
|
A Linear Logical Framework
– Iliano Cervesato, Frank Pfenning
- 1996
|
|
78
|
Using Typed Lambda Calculus to Implement Formal Systems on a Machine
– Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
- 1992
|
|
20
|
How to Believe a Machine-Checked Proof
– Robert Pollack
- 1997
|
|
|
Open Mechanized Reasoning Systems
– John McCarthy, Fausto Giunchiglia, Carolyn Talcott
- 1992
|
|
|
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -
– Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner
- 1997
|
|
1
|
Towards provably correct system synthesis and extension
– Fausto Giunchiglia, Paolo Pecchiari, Alessandro Armando
- 1996
|
|
12
|
Using Reflection to Explain and Enhance Type Theory
– Robert L. Constable
- 1994
|
|
22
|
A Metatheory of a Mechanized Object Theory
– Fausto Giunchiglia, Paolo Traverso
- 1994
|
|
4
|
Equivalences between Logics and their Representing Type Theories
– Philippa Gardner
- 1992
|
|
6
|
Representing Proof Transformations for Program Optimization
– Penny Anderson
- 1994
|
|
46
|
Metatheory and Reflection in Theorem Proving: A Survey and Critique
– John Harrison
- 1995
|
|
4
|
Case Studies in Meta-Level Theorem Proving
– Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß
- 1998
|
|
4
|
Formalization of the Development Process
– David Basin, Bernd Krieg-Brückner
- 1998
|
|
11
|
Reflecting BDDs in Coq
– Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar
- 2000
|
|
41
|
Set theory for verification: I. From foundations to functions
– Lawrence C. Paulson
- 1993
|
|
57
|
Mechanizing Programming Logics in Higher Order Logic
– Michael J. C. Gordon
- 1989
|
|
7
|
Partial computations in constructive type theory
– Scott F. Smith
- 1991
|
|
12
|
A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings
– Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
- 2005
|
