1
0
0
(1 - 18 von 20
)
Bibliography generated from publications.bib
www.avacs.org
[Eggers et al., 2011a]: Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, and Christoph Weidenbach. Superposition modulo ...
Superposition Modulo Theory - Evgeny Kruglov - Google Books
books.google.de
Title, Superposition Modulo Theory. Author, Evgeny Kruglov. Contributor, Christoph Weidenbach. Publisher, Saarländische Universitäts- und Landesbibliothek, ...
Frontiers of Combining Systems: 7th International Symposium, FroCoS...
books.google.de
Superposition Modulo Linear Arithmetic SUP(LA) Ernst Althaus, Evgeny Kruglov, andChristoph Weidenbach Max Planc Institute for Informatics, Campus E
Logic for Programming, Artificial Intelligence, and Reasoning: 18th...
books.google.de
197 Arnaud Fietzke, Evgeny Kruglov, and Christoph Weidenbach Moral Reasoning under Uncertainty The Anh Han, Ari Saptawijaya, and ...
[PDF] Universität des Saarlandes - Teachingrg1-teaching.mpi-inf.mpg.de › autrea-ss10 › exercises
rg1-teaching.mpi-inf.mpg.de
Evgeny Kruglov. Christoph Weidenbach. May 25, Tutorials for “Automated Reasoning”. Exercise sheet 6. Exercise 6.1: (4 P).
dblp: Christoph Weidenbach
dblp.uni-trier.de
List of computer science publications by Christoph Weidenbach
Rechnerarchitektur - Universität Freiburg
ira.informatik.uni-freiburg.de
Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach Superposition modulo non-linear arithmetic Int'l Symp. on Frontiers of Combining Systems, Springer, Seiten:
Superposition Modulo Non-linear Arithmetic - FreiDok plus
freidok.uni-freiburg.de
Althaus, Ernst, Evgeny Kruglov, and Christoph Weidenbach. “Superposition Modulo Linear Arithmetic SUP(LA).” Lecture Notes in Computer Science (2009): 84–99. › data
Superposition Decides the First-Order Logic Fragment Over Ground...
link.springer.com
affiliations. Evgeny Kruglov Email author; Christoph Weidenbach. Evgeny Kruglov.
Superposition Modulo Linear Arithmetic SUP(LA) | SpringerLinklink.springer.com › chapter
link.springer.com
Superposition Modulo Linear Arithmetic SUP(LA). Ernst Althaus,; Evgeny Kruglov &; Christoph Weidenbach. Conference paper.
FroCoS 2011
conferences.mpi-inf.mpg.de
Andreas Eggers, Evgeny Kruglov, Karsten Scheibler, Stefan Kupferschmid, Tino Teige and Christoph Weidenbach SUP(NLA) -- Combining Superposition and Non-Linear Arithmetic. Luis Fariñas Del Cerro and Andreas Herzig The modal logic of equilibrium models. Carsten Fuhs and Cynthia Kop
Max-Planck-Institut für Informatik - Automation of Logic:...
resources.mpi-inf.mpg.de
· Evgeny Kruglov, Max-Planck-Institut für Informatik (zusammen mit Christoph Weidenbach) Superposition Modulo Linear Arithmethic h: gemeinsames Mittagessen
Tino's publications
uol.de
Publications Tino Teige Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, and Christoph Weidenbach.
LPAR-18 Accepted Papers
www.cs.miami.edu
Arnaud Fietzke, Evgeny Kruglov and Christoph Weidenbach. Automatic Generation of Inductive Invariants by SUP(LA). Jakob Zwirchmayr, Laura Kovacs and Jens ...
Automatic Generation of Invariants for Circular Derivations in ...
hal.inria.fr
— Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach. Automatic Generation of Invariants for Circular Derivations in SUP(LA). › hal
Alle Infos zum Namen "Evgeny Kruglov"
Verwandte Suchanfragen zu Evgeny Kruglov
Christoph Weidenbach Clyde Bergemann Karsten Scheibler | Andreas Eggers Tino Teige |
Personen Vorname "Evgeny" (428) Name "Kruglov" (35) |
sortiert nach Relevanz / Datum