Case studies in meta-level theorem proving

This publication has 13 references indexed in Scilit:

• The semantics of reflected proof
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Using reflection to build efficient and certified decision procedures
  Published by Springer Nature ,1997
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• Isabelle
  Published by Springer Nature ,1994
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Logic and Computation
  Published by Cambridge University Press (CUP) ,1987
• Self-Reference and Modal Logic
  Published by Springer Nature ,1985
• Deciding Combinations of Theories
  Journal of the ACM, 1984
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
  Mathematical Logic Quarterly, 1968