MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

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
#YAuthor/EditorTitle
1
Show details for 20132013
2
Show details for 20092009
16
Show details for 20072007
43
Show details for 20062006
41
Show details for 20052005
37
Show details for 20042004
36
Show details for 20032003
39
Show details for 20022002
58
Show details for 20012001
48
Show details for 20002000
61
Show details for 19991999
73
Show details for 19981998
42
Show details for 19971997
64
Show details for 19961996
55
Show details for 19951995
64
Show details for 19941994
47
Show details for 19931993
26
Show details for 19921992
26
Hide details for 19911991
13
Show details for Proceedings ArticleProceedings Article
10
Hide details for Journal ArticleJournal Article
Basin, David A.
Brown, G. M.
Leeser, M. E.		Formally Verified Synthesis of Combinational CMOS Circuits
In: Integration: The Intern. Journal of VLSI Design [11], 235-250
Bockmayr, Alexander
Brzoska, C.
Deussen, P.
Varsek, I.		KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung
In: Informatik--Forschung und Entwicklung [6], 128-140
Brink, Chris
Rewitzky, I. M.
Schmidt, Renate A.		Autodescriptivity: Beware!
In: The Computer Journal [34], 380-381
Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel		Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181
Ganzinger, HaraldA completion procedure for conditional equations
In: Journal of Symbolic Computation [11], 51-81
Ganzinger, HaraldOrder-Sorted Completion: The Many-Sorted Way
In: Theoretical Computer Science [89], 3-32
Hanus, MichaelHorn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106
Ohlbach, Hans JürgenSemantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746
Socher-Ambrosius, RolfOn the Relation Between Completion Based and Resolution Based Theorem Proving
In: Journal of Symbolic Computation [11], 129-148

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