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
On Computer-Assisted Proofs in Ordinal Number Theory
Journal of Automated Reasoning
The CADE-16 ATP System Competition
Journal of Automated Reasoning
STMM: A Set Theory for Mechanized Mathematics
Journal of Automated Reasoning
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
Instructing Equational Set-Reasoning with Otter
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Handbook of automated reasoning
Computer proofs about finite and regular sets: the unifying concept of subvariance
Journal of Symbolic Computation - Special issue: First order theorem proving
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
Automated deduction for verification
ACM Computing Surveys (CSUR)
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
A finite first-order theory of classes
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Theory-specific automated reasoning
A 25-year perspective on logic programming
Theorem proving in large formal mathematics as an emerging AI field
Automated Reasoning and Mathematics
Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets
Journal of Automated Reasoning
Hi-index | 0.00 |