The Imandra Automated Reasoning System (System Description)

The Imandra Automated Reasoning System (System Description)

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2
1. Verfasser: Passmore, Grant (VerfasserIn)
Weitere Verfasser: Cruanes, Simon (VerfasserIn), Ignatovich, Denis (VerfasserIn), Aitken, Dave (VerfasserIn), Bray, Matt (VerfasserIn), Kagan, Elijah (VerfasserIn), Kanishev, Kostya (VerfasserIn), Maclean, Ewen (VerfasserIn), Mometto, Nicola (VerfasserIn)
Pages:2
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Quotients of Bounded Natural Functors 2020 Lochbihler, Andreas
Trakhtenbrot’s Theorem in Coq: A Constructive Approach to Finite Model Theory 2020 Kirst, Dominik
Teaching Automated Theorem Proving by Example: PyRes 1.2 (System Description) 2020 Schulz, Stephan
Venfied Approximation Algorithms 2020 Eßmann, Robin
N-PAT: A Nested Model-Checker (System Description) 2020 Bride, Hadrien
Implementing Superposition in iProver (System Description) 2020 Duarte, André
Make E Smart Again (Short Paper) 2020 Goertzel, Zarathustra Amadeus
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis 2020 Affeldt, Reynald
A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper) 2020 Baanen, Anne
Formal Proof of the Group Law for Edwards Elliptic Curves 2020 Hales, Thomas
Efficient Verified Implementation of Introsort and Pdqsort 2020 Lammich, Peter
A Polymorphic Vampire (Short Paper) 2020 Bhayat, Ahmed
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) 2020 Dalmonte, Tiziano
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) 2020 Girlando, Marianna
Automatically Proving and Disproving Feasibility Conditions 2020 Gutiérrez, Raul
MU-TERM: Verify Termination Properties Automatically (System Description) 2020 Gutiérrez, Raul
Sequoia: A Playground for Logicians (System Description) 2020 Reis, Giselle
Practical Proof Search for Coq by Type Inhabitation 2020 Czajka, Lukasz
Formalizations Formalizing the Face Lattice of Polyhedra 2020 Allamigeon, Xavier
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages 2020 Ullrich, Sebastian
Alle Artikel auflisten