Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by K. Rustan M. Leino
Reasoning About Comprehensions With First-Order SMT Solvers
Related publications
Symbolic Optimization With SMT Solvers
Adding Decision Procedures to SMT Solvers Using Axioms With Triggers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Basic Logic, SMT Solvers and Finitely Generated Varieties of GBL-algebras
Reasoning With Concept Diagrams About Antipatterns
Reasoning About Justified Belief
Reasoning About the Past With Two-Way Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Causal Reasoning About Quantities
About Nondecreasing Solutions for First Order Neutral Functional Differential Equations
Reasoning About Skills and Competencies
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
