Evgeny Kruglov und Superposition - Info zur Person

(1 - 15 von 17

)

Max-Planck-Institut für Informatik: People

www.mpi-inf.mpg.de

Evgeny Kruglov (Ph.D ): Superposition Modulo Theory. Patrick Wischnewski (Ph.D ): Efficient Reasoning Procedures for Complex First- Order ...

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

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 Modulo Theory - Publikationen der UdS

publikationen.sulb.uni-saarland.de

von E Kruglov · · Zitiert von: 11 — des Doktors der Naturwissenschaften (Dr. rer. nat.) der Naturwissenschaftlich-Technischen Fakultäten der Universität des Saarlandes von. Evgeny Kruglov. › bitstream

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) | SpringerLink

link.springer.com

The hierar…l superposition based theorem proving calculus of Bachmair, Ganzinger, and Waldmann enables the hierarchic combination of a theory with full...

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

Alle Infos zum Namen "Evgeny Kruglov"

Verwandte Suchanfragen zu Evgeny Kruglov

Clyde Bergemann
Christoph Weidenbach
Karsten Scheibler

Andreas Eggers
Tino Teige

Personen
Vorname "Evgeny" (428)
Name "Kruglov" (35)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Evgeny Kruglov und Superposition Person-Info