Publications

Publications

Server halma.mpi-inf.mpg.de

Entries sorted by: 5. Year - 8. Counting Publications

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: 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

Author/Editor

Title

2013

2009

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

Book

Part of a Book

Proceedings

Proceedings Article

Journal Article

Baader, Franz
Ohlbach, Hans Jürgen

A Multi-Dimensional Terminological Knowledge Representation Language
In: Journal of Applied Non-Classical Logics [5], 153-198

Bachmair, Leo
Ganzinger, Harald
Lynch, Christopher
Snyder, Wayne

Basic Paramodulation
In: Information and Computation [121], 172-192

Barth, Peter
Bockmayr, Alexander

Pseudo-Boolean Constraint Logic Programming
In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53

Bockmayr, Alexander
Krischer, Stefan
Werner, Andreas

Narrowing strategies for arbitrary canonical systems
In: Fundamenta Informaticae [24], 125-155

Hanus, Michael

Analysis of Residuating Logic Programs
In: Journal of Logic Programming [24], 219-245

Hanus, Michael

Compile-Time Analysis of Nonlinear Constraints in CLP(R)
In: New Generation Computing [13], 155-186

Krishna Rao, M. R. K.

Modular Proofs for Completeness of hierarchical term rewriting systems
In: Theoretical Computer Science [151], 487-512

Ohlbach, Hans Jürgen
Weidenbach, Christoph

A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275

Weidenbach, Christoph

First-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906

Thesis - Masters thesis

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Imprint / Impressum | Data Protection / Datenschutzhinweis