MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 3. Type of Publication - 1. All Types

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/EditorYearTitle
4
Show details for BookBook
42
Show details for Part of a BookPart of a Book
9
Show details for ProceedingsProceedings
1
Show details for Electronic ProceedingsElectronic Proceedings
429
Show details for Proceedings ArticleProceedings Article
8
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
2
Show details for PosterPoster
176
Show details for Journal ArticleJournal Article
2
Show details for Electronic Journal ArticleElectronic Journal Article
19
Show details for ReportReport
39
Show details for Thesis - Master's thesisThesis - Master's thesis
26
Show details for Thesis - Doctoral dissertationThesis - Doctoral dissertation
9
Hide details for Thesis - Habilitation thesisThesis - Habilitation thesis
Basin, David A.1995Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung
Universität des Saarlandes
Bockmayr, Alexander1996Gleichheit und Constraints in der Logikprogrammierung
Universität des Saarlandes
Charatonik, Witold2002Direktionale Typen in der Logischen Programmierung
Universität des Saarlandes
Hanus, Michael1994Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
Universität des Saarlandes
Jaeger, Manfred2002Probabilistic Decision Graphs
Universität des Saarlandes
Ohlbach, Hans Jürgen1993Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes
Podelski, Andreas1998Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Universität des Saarlandes
Sofronie-Stokkermans, Viorica2004Algebraic and logical methods in automated theorem proving and in the study of concurrency
Universität des Saarlandes
Weidenbach, Christoph2000Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
1
Show details for Thesis - Diploma thesisThesis - Diploma thesis
11
Show details for Unpublished/DraftUnpublished/Draft
4
Show details for MiscellaneousMiscellaneous
782

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