PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Weidenbach, Christoph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Search to Computation: Redundancy Criteria and Simplification at Work.

, , , und . Programming Logics, Volume 7797 von Lecture Notes in Computer Science, Seite 169-193. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christoph Schulz University of Stuttgart

Hon. -Prof. Christoph Müller University of Stuttgart

Dr. -Ing. Christoph Wenzel University of Stuttgart

Christoph Jeromin University of Stuttgart

Dr.-Ing. Christoph Steinhausen University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Satisfiability Checking and Query Answering for Large Ontologies., und . PAAR@IJCAR, Volume 21 von EPiC Series in Computing, Seite 163-177. EasyChair, (2012)Superposition Decides the First-Order Logic Fragment Over Ground Theories., und . Mathematics in Computer Science, 6 (4): 427-456 (2012)A Note on Assumptions about Skolem Functions., und . J. Autom. Reasoning, 15 (2): 267-275 (1995)First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement., und . CoRR, (2015)First-Order Atom Definitions Extended., , und . LPAR, Volume 2250 von Lecture Notes in Computer Science, Seite 309-319. Springer, (2001)Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete., und . CoRR, (2015)A Dynamic Logic for Configuration., und . ARQNL@IJCAR, Volume 1770 von CEUR Workshop Proceedings, Seite 36-50. CEUR-WS.org, (2016)SPASS-SATT - A CDCL(LA) Solver., , , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 111-122. Springer, (2019)Computing Tiny Clause Normal Forms., und . CADE, Volume 7898 von Lecture Notes in Computer Science, Seite 109-125. Springer, (2013)Towards an Automatic Analysis of Security Protocols in First-Order Logic.. CADE, Volume 1632 von Lecture Notes in Computer Science, Seite 314-328. Springer, (1999)