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

Part of a Book

Proceedings Article

Journal Article

Bezem, Marc
Hendriks, Dimitri
de Nivelle, Hans

Automated Proof Construction in Type Theory using Resolution
In: Journal of Automated Reasoning [29], 253-275

Charatonik, Witold
Podelski, Andreas

Set Constraints with Intersection
In: Information and Computation [179], 213-229

Lang, Jérôme
van der Torre, Leendert W. N.
Weydert, Emil

Utilitarian Desires
In: Autonomous Agents and Multi-Agent Systems [5], 329-363

Löchner, Bernd
Hillenbrand, Thomas

A Phytography of WALDMEISTER
In: AI Communications [15], 127-133

Vorobyov, Sergei

The undecidability of the first-order theories of one step rewriting in linear canonical systems
In: Information and Computation [175], 182-213

Vorobyov, Sergei

$\forall\exists^5$-equational theory of context unification is undecidable
In: Theoretical Computer Science [275], 463-479

Waldmann, Uwe

Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861

Waldmann, Uwe

Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829

Xia, Bican
Yang, Lu

An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
In: Journal of Symbolic Computation [34], 461-477

Electronic Journal Article

Report

Thesis - Masters thesis

Thesis - Habilitation thesis

Unpublished/Draft

2001

2000

1999

1998

1997

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

Imprint / Impressum | Data Protection / Datenschutzhinweis