Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrei Voronkov
Invariant and Type Inference for Matrices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
GoRRiLA and Hard Reality
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Ground-Negative Fragment of First-Order Logic Is -Complete
Journal of Symbolic Logic
Philosophy
Logic
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparing Unification Algorithms in First-Order Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Encodings of Problems in Effectively Propositional Logic
The Challenges of Evaluating a New Feature in Vampire
