Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tom Melham
Integrating Model Checking and Theorem Proving in a Reflective Functional Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Refinement Approach to Design and Verification of On-Chip Communication Protocols
Related publications
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
ELIOS-OBJ Theorem Proving in a Specification Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Theorem Proving for Prenex Gödel Logic With Delta: Checking Validity and Unsatisfiability
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Pengembangan Perangkat Pembelajaran Geometri Ruang Dengan Model Proving Theorem
Kreano, Jurnal Matematika Kreatif-Inovatif
Automated Theorem Proving in a Chat Environment
EasyChair Preprints
Cryptographically Sound Theorem Proving
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SMTtoTPTP – A Converter for Theorem Proving Formats
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
