Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alexander Leitsch" ( http://dblp.L3S.de/Authors/Alexander_Leitsch )

  Author page on DBLP  Author page in RDF  Community of Alexander Leitsch in ASPL-2

Publication years (Num. hits)
1980-1995 (15) 1996-2004 (16) 2006-2012 (12)
Publication types (Num. hits)
article(15) book(2) incollection(2) inproceedings(21) proceedings(3)
Venues (Conferences, Journals, ...)
CSL(4) Ann. Pure Appl. Logic(3) Fundam. Inform.(3) LPAR(3) Handbook of Automated Reasonin...(2) IJCAR(2) J. Symb. Comput.(2) Kurt Gödel Colloquium(2) Theor. Comput. Sci.(2) AISC/MKM/Calculemus(1) Algebraic and Proof-theoretic ...(1) CADE(1) EUROCAL(1) European Conference on Compute...(1) FTP (LNCS Selection)(1) ISSAC(1) More (+10 of total 27)
Authors
Alexander Leitsch(43) Matthias Baaz(19) Stefan Hetzl(9) Christian G. Fermüller(6) Daniel Weller(6) Bruno Woltzenlogel Paleo(4) Georg Gottlob(4) Clemens Richter(3) Hendrik Spohr(3) Daniele Mundici(2) Richard Zach(2) Tanel Tammet(2) Agata Ciabattoni(1) Georg Moser(1) Gheorghe Paun(1) Matteo Cavaliere(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 43 publication records. Showing 43 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stefan Hetzl, Alexander Leitsch, Daniel Weller Towards Algorithmic Cut-Introduction. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefan Hetzl, Alexander Leitsch, Daniel Weller CERES in higher-order logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo System Description: The Proof Transformation System CERES. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo A Clausal Approach to Proof Analysis in Second-Order Logic. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr CERES: An analysis of Fürstenberg's proof of the infinity of primes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Alexander Leitsch Towards an algorithmic construction of cut-elimination procedures. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo Transforming and Analyzing Proofs in the CERES-System. Search on Bibsonomy LPAR Workshops The full citation details ... 2008 DBLP  BibTeX  RDF
1Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo Herbrand Sequent Extraction. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Towards a clausal analysis of cut-elimination. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matteo Cavaliere, Rudolf Freund, Alexander Leitsch, Gheorghe Paun Event-Related Outputs of Computations in P Systems. Search on Bibsonomy Journal of Automata, Languages and Combinatorics The full citation details ... 2006 DBLP  BibTeX  RDF
1Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr Proof Transformation by CERES. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Stefan Hetzl, Alexander Leitsch Proof Transformations and Structural Invariance. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr Cut-Elimination: Experiments with CERES. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch CERES in Many-Valued Logics. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Uwe Egly, Alexander Leitsch Normal Form Transformations. Search on Bibsonomy Handbook of Automated Reasoning The full citation details ... 2001 DBLP  BibTeX  RDF
1Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet Resolution Decision Procedures. Search on Bibsonomy Handbook of Automated Reasoning The full citation details ... 2001 DBLP  BibTeX  RDF
1Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.) Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Comparing the Complexity of Cut-Elimination Methods. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Cut-elimination and Redundancy-elimination by Resolution. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Cut Normal Forms and Proof Complexity. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch, Georg Moser System Description: CutRes 0.1: Cut Elimination by Resolution. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Alexander Leitsch Decision Procedures and Model Building in Equational Clause Logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alexander Leitsch Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alexander Leitsch The resolution calculus. Search on Bibsonomy 1997   RDF
1Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings Search on Bibsonomy Kurt Gödel Colloquium The full citation details ... 1997 DBLP  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch, Richard Zach Completeness of a First-Order Temporal Logic with Time-Gaps. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Alexander Leitsch Hyperresolution and Automated Model Building. Search on Bibsonomy J. Log. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Fast Cut-Elimination by Projection. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch, Richard Zach Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF temporal logic, many-valued logic, intermediate logic
1Matthias Baaz, Alexander Leitsch On Skolemization and Proof Complexity. Search on Bibsonomy Fundam. Inform. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Alexander Leitsch A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Alexander Leitsch Deciding Clause Classes by Semantic Clash Resolution. Search on Bibsonomy Fundam. Inform. The full citation details ... 1993 DBLP  BibTeX  RDF
1Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov Resolution Methods for the Decision Problem Search on Bibsonomy 1993   DOI  RDF
1Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings Search on Bibsonomy Kurt Gödel Colloquium The full citation details ... 1993 DBLP  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Complexity of Resolution Proofs and Function Introduction. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Alexander Leitsch Model Building by Resolution. Search on Bibsonomy CSL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch A Strong Problem Reduction Method Based on Function Introduction. Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Alexander Leitsch Deciding Horn Classes by Hyperresolution. Search on Bibsonomy CSL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Strong splitting rules in automated theorem proving. Search on Bibsonomy EUROCAL The full citation details ... 1987 DBLP  BibTeX  RDF
1Georg Gottlob, Alexander Leitsch On the Efficiency of Subsumption Algorithms Search on Bibsonomy J. ACM The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Eine Methode zur automatischen Problemreduktion. Search on Bibsonomy ÖGAI The full citation details ... 1985 DBLP  BibTeX  RDF
1Georg Gottlob, Alexander Leitsch Fast Subsumption Algorithms. Search on Bibsonomy European Conference on Computer Algebra The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Alexander Leitsch Complexity of index sets and translating functions. Search on Bibsonomy Fundam. Inform. The full citation details ... 1980 DBLP  BibTeX  RDF
Displaying result #1 - #43 of 43 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.