Term rewriting: Some experimental results
Journal of Symbolic Computation
A derived algorithm for evaluating ε-expressions over abstract sets
Journal of Symbolic Computation - Special issue on automatic programming
Computer Proofs in Gödel’s Class Theory with Equational Definitions for Composite and Cross
Journal of Automated Reasoning
On Computer-Assisted Proofs in Ordinal Number Theory
Journal of Automated Reasoning
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
Evaluating reasoning heuristics in the context of multi-level marketing structures
SAICSIT '04 Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Automated deduction for verification
ACM Computing Surveys (CSUR)
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
A finite first-order presentation of set theory
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
A finite first-order theory of classes
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Skolem functions and equality in automated deduction
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Combining type theory and untyped set theory
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets
Journal of Automated Reasoning
Hi-index | 0.00 |