Logical framework based program development
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
STMM: A Set Theory for Mechanized Mathematics
Journal of Automated Reasoning
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Type Synthesis in B and the Translation of B to PVS
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Replacement Rules with Definition Detection
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
An Equational Re-engineering of Set Theories
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Final coalgebras as greatest fixed points in ZF set theory
Mathematical Structures in Computer Science
Encoding Functional Relations in Scunak
Electronic Notes in Theoretical Computer Science (ENTCS)
The Relative Consistency of the Axiom of Choice -- Mechanized Using Isabelle/ZF
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
From Bayesian notation to pure racket via discrete measure-theoretic probability in λZFC
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Automatic proof and disproof in Isabelle/HOL
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Partizan games in Isabelle/HOLZF
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
A mechanized translation from higher-order logic to set theory
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Ensuring correctness of ruby transformations
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Computing in cantor's paradise with λZFC
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Hi-index | 0.00 |