sign in · help · news · about ·

BibSonomy :: author :: Egly ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(62)

<< < 1 | 2 | 3 > >>

Phase Transition for Random Quantified XOR-Formulas
Nadia Creignou, Hervé Daudé, and Uwe Egly CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The threshold for random 1,2-QSAT
Nadia Creignou, Hervé Daudé, Uwe Egly, and Raphaël Rossignol CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
Uwe Egly, Thomas Eiter, Hans Tompits, and Stefan Woltran CoRR (2000)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
On Different Structure-Preserving Translations to Normal Form.
Uwe Egly J. Symb. Comput. 22(2):121-142 (1996)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis.
Uwe Egly, and Stephan Schmitt Fundam. Inform. 39(1-2):59-83 (1999)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
On Definitional Transformations to Normal Form for Institionistic Logic.
Uwe Egly Fundam. Inform. 29(1-2):165-201 (1997)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Practically Useful Variants of Definitional Translations to Normal Form.
Uwe Egly, and Thomas Rath Inf. Comput. 162(1-2):255-264 (2000)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Comparing Different Prenexing Strategies for Quantified Boolean Formulas.
Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, and Michael Zolda SAT, volume 2919 of Lecture Notes in Computer Science, page 214-228. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Embedding Lax Logic into Intuitionistic Logic.
Uwe Egly CADE, volume 2392 of Lecture Notes in Computer Science, page 78-93. Springer, (2002)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
Deriving Modular Programs from Short Proofs.
Uwe Egly, and Stephan Schmitt IJCAR, volume 2083 of Lecture Notes in Computer Science, page 561-577. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Super-Polynomial Speed-Ups in Proof Length by New Tautologies.
Uwe Egly EPIA, volume 990 of Lecture Notes in Computer Science, page 29-40. Springer, (1995)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Intuitionistic Proof Transformations: Complexity and Applications.
Uwe Egly, and Stephan Schmitt Electr. Notes Theor. Comput. Sci. (1998)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.
Uwe Egly, and Stephan Schmitt AISC, volume 1476 of Lecture Notes in Computer Science, page 132-144. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Structuring of Computer-Generated Proofs by Cut Introduction.
Uwe Egly, and Karin Genther Kurt Gödel Colloquium, volume 1289 of Lecture Notes in Computer Science, page 140-152. Springer, (1997)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
On Proof Complexity of Circumscription.
Uwe Egly, and Hans Tompits TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 141-155. Springer, (1998)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
On Different Intuitionistic Calculi and Embeddings from Int to S4.
Uwe Egly Studia Logica 69(2):249-277 (2001)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
On Different Proof-Search Strategies for Orthologic.
Uwe Egly, and Hans Tompits Studia Logica 73(1):131-152 (2003)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
On deciding subsumption problems.
Uwe Egly, Reinhard Pichler, and Stefan Woltran Ann. Math. Artif. Intell. 43(1):255-294 (2005)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Solving Advanced Reasoning Tasks using Quantified Boolean Formulas
U. Egly, T. Eiter, H. Tompits, and S. Woltran (2000)
to imported by wyswilson and 2 other users on Apr 14, 2011, 7:06 AM
BibTeX
On methods of function introduction and related concepts.
Uwe Egly TH Darmstadt, (1995)
to dblp by dblp on Mar 23, 2011, 12:00 AM
BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper