Server halma.mpi-inf.mpg.de
Entries sorted by: 5. Year - 8. Counting Publications
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
# | Y | | Author/Editor | | Title | |
1 |
| 2013 |
| |
2 |
| |
16 |
| 2007 |
| |
43 |
| |
41 |
| 2005 |
| |
37 |
| |
36 |
| 2003 |
| |
39 |
| |
58 |
| 2001 |
| |
48 |
| |
61 |
| 1999 |
| |
73 |
| |
42 |
| 1997 |
| |
1 |
|
| |
1 |
|
| Proceedings |
| |
24 |
|
| |
8 |
|
| Journal Article |
| |
| | | Basin, David A.
Matthews, Seán
Viganò, Luca | | Labelled Propositional Modal Logics: Theory and Practice
In: Journal of Logic and Computation [7], 685-717 | |
| | | Krishna Rao, M. R. K. | | A framework for incremental learning of logic programs
In: Theoretical Computer Science [185], 191-213 | |
| | | Nivat, Maurice
Podelski, Andreas | | Minimal Ascending and Descending Tree Automata
In: SIAM Journal on Computing [26], 39-58 | |
| | | Ohlbach, Hans Jürgen
Schmidt, Renate A. | | Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603 | |
| | | Podelski, Andreas
Smolka, Gert | | Situated Simplification
In: Theoretical Computer Science [173], 235-252 | |
| | | Rahman, Shahid
Rückert, Helge
Fischmann, Matthias | | Dialogues and Ontology, the Dialogical Approach to Free Logic
In: Logique et Analyse [160], 357-374 | |
| | | Wang, Yongge | | NP-hard sets are superterse unless NP is small
In: Information Processing Letters [61], 1-6 | |
| | | Weidenbach, Christoph | | SPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252 | |
4 |
|
| |
4 |
|
| Thesis - PhD thesis |
| |
64 |
| |
55 |
| 1995 |
| |
64 |
| |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)