1
0
0
(1 - 18 von 19
)
Summer School 2016: Verification Technology, Systems & Applications
wwwde.uni.lu
he summer school on verification technology, systems & applications takes place at the University of Liège in Liège fromAugust 29–September 2, We ...
Dr. Matthias Horbach | University of Koblenz
www.uni-koblenz.de
Research Group Formal Methods and theoretical Computer Science. E-Mail: horbach (at)uni-koblenz.de.
Fakultät für Wirtschaftswissenschaften - Prof. Dr. Daniel ...
wiwi.uni-paderborn.de
September 2013, Koblenz. . ed. /Matthias Horbach. Koblenz : University Koblenz-Landau 2013, p Article in proceedings - peer review Robert Hillmann; Matthias Trier / Influence and Dissemination Of Sentiments in Social Network Communication Patterns
Matthias Horbach's Diploma Thesis
www.ps.uni-saarland.de
by Matthias Horbach Advisor: Lutz Straßburger Responsible Professor: Gert Smolka Research Unit: Programming Systems Lab, Department of Computer Science, Saarland University Download: Thesis (ps.gz, pdf), BibTeX Abstract At the beginning of the 20th …
Publications — University of Koblenz · Landau
www.uni-koblenz-landau.de
Matthias Horbach and Viorica Sofronie-Stokkermans Obtaining Finite Local Theory Axiomatizations via Saturation Proceedings of FroCoS 2013, To appear. Technical Reports Markus Bender. E-Hyper Tableaux with Distinct Object Identifiers Arbeitsberichte aus dem Fachbereich InformatikUniversität Koblenz-Landau, ISSN (Online)
Disunification for Ultimately Periodic InterpretationsSpringer
link.springer.com
von M Horbach · · Zitiert von: 4 — Matthias Horbach. Saarland University, Saarbrücken, Germany. Matthias Horbach. Authors. Matthias Horbach. View author publications. You can also search for this ... von M Horbach · · Zitiert von: 4 — Matthias Horbach. Saarland University, Saarbrücken, Germany. Matthias Horbach. Authors. Matthias Horbach. View author publications. You can also search for this ...
Predicate Completion for non-Horn Clause SetsSpringer
link.springer.com
von M Horbach · · Zitiert von: 1 — Matthias Horbach. Part of the book series: Lecture Notes in Computer Science ... University of New Mexico, Albuquerque, U.S.A.. Matthias Horbach. Authors. von M Horbach · · Zitiert von: 1 — Matthias Horbach. Part of the book series: Lecture Notes in Computer Science ... University of New Mexico, Albuquerque, U.S.A.. Matthias Horbach. Authors.
System Description: SPASS-FD | SpringerLinklink.springer.com › chapter
link.springer.com
Authors; Authors and affiliations. Matthias Horbach. Matthias Horbach University of New MexicoAlbuquerqueU.S.A.. Conference paper Downloads.
Establishing Interoperability of a Blog Archive through ...CBS Research Portal
research.cbs.dk
von H Kalb · · Zitiert von: 2 — Matthias Horbach. Place of Publication, Koblenz. Publisher, University Koblenz-Landau. Publication date, Pages, ISBN (Print), von H Kalb · · Zitiert von: 2 — Matthias Horbach. Place of Publication, Koblenz. Publisher, University Koblenz-Landau. Publication date, Pages, ISBN (Print),
BlogForever: From Web Archiving to Blog ArchivingCBS Research Portal
research.cbs.dk
von H Kalb · — Editors, Matthias Horbach. Place of Publication, Koblenz. Publisher, University Koblenz-Landau. Publication date, Pages,
ADDCT Program CommitteeEasyChair
easychair.org
Rajeev Gore (The Australian National University); Matthias Horbach (MPII Saarbrücken and University Koblenz-Landau); Ullrich Hustadt (The University of ... Rajeev Gore (The Australian National University); Matthias Horbach (MPII Saarbrücken and University Koblenz-Landau); Ullrich Hustadt (The University of ...
Optimas-DW, MetaCrop and Vanted: A case study for data ...Monash University
research.monash.edu
von C Colmsee · · Zitiert von: 1 — Christian Colmsee, Matthias Horbach (Editor), Tobias Czauderna, Eva Grafahrend-Belau, Anja Hartmann, Matthias Lange, Martin Mascher, Stephan Weise, ... von C Colmsee · · Zitiert von: 1 — Christian Colmsee, Matthias Horbach (Editor), Tobias Czauderna, Eva Grafahrend-Belau, Anja Hartmann, Matthias Lange, Martin Mascher, Stephan Weise, ...
Schutz der Anonymität als GemeinschaftsaufgabeUniversity of Edinburgh Research Explorer
www.research.ed.ac.uk
von J Rauhofer · — Informatik angepasst an Mensch, Organisation und Umwelt · Informatik · Matthias Horbach · Köllen · von J Rauhofer · — Informatik angepasst an Mensch, Organisation und Umwelt · Informatik · Matthias Horbach · Köllen ·
Homepage: Matthias Horbach (University of New Mexico) - UNM CSwww.cs.unm.edu › ~horbach › software
www.cs.unm.edu
Using a constrained superposition calculus and a disunification procedure, it is possible to employ superposition-based first-order reasoners for reasoning ...
CADE Accepted PapersMcGill University
www.cs.mcgill.ca
Matthias Horbach and Christoph Weidenbach; Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method Sean McLaughlin and Frank Pfenning ...
Understanding complex financial institutions, 2006University at Buffalo
search.lib.buffalo.edu
Simpson, Hunter Baker, Michal Berkner, Ann Beth Bejgrowicz, Lorenzo Corte, Michael E. Hatchard, Piers Johansen, Matthias Horbach, Stefan Koch, Armand W.
[SMT-LIB] FLoC 2014: Final Call for WorkshopsNew York University
cs.nyu.edu
— ... Workshop Chair: Matthias Horbach http://www.mpi-inf.mpg.de/~horbach/ 5th Conference on Interactive Theorem Proving (ITP) Workshop Chair: ...
Homepage: Matthias Horbach (University of New Mexico)
www.cs.unm.edu
If you have questions about submitted papers but prefer to remain anonymous (e.g. because you are a referee), please contact me via the contact form!
Alle Infos zum Namen "Matthias Horbach"
sortiert nach Relevanz / Datum