MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

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
#YearTitleType
1
Show details for Rahman, Rückert, Fischmann [Rahman, Rückert]Rahman, Rückert, Fischmann [Rahman, Rückert]
2
Show details for Ratschan [-]Ratschan [-]
1
Show details for Ratschan [Dolzmann, Seidl, Sturm]Ratschan [Dolzmann, Seidl, Sturm]
1
Show details for Ratschan [Rossi]Ratschan [Rossi]
2
Show details for Ratschan, She [-]Ratschan, She [-]
1
Show details for Ratschan, She [Calmet, Ida, Wang]Ratschan, She [Calmet, Ida, Wang]
1
Show details for Ratschan, Smaus [Smaus, Cassandras, Giua, Seatzu, Zaytoon]Ratschan, Smaus [Smaus, Cassandras, Giua, Seatzu, Zaytoon]
1
Show details for Ratschan, Vehi [Bittanti]Ratschan, Vehi [Bittanti]
1
Show details for Rau [-]Rau [-]
1
Show details for Reinold [-]Reinold [-]
1
Show details for Rock [-]Rock [-]
1
Show details for Rybalchenko [-]Rybalchenko [-]
1
Show details for Rybalchenko [Malkis, Podelski, Filé, Nielson]Rybalchenko [Malkis, Podelski, Filé, Nielson]
1
Show details for Rybalchenko, Sofronie-Stokkermans [Cook, Podelski]Rybalchenko, Sofronie-Stokkermans [Cook, Podelski]
1
Show details for Schäf [-]Schäf [-]
1
Show details for Schlobach [-]Schlobach [-]
6
Hide details for Schmidt [-]Schmidt [-]
1999Decidability by Resolution for Propositional Modal Logics
In: Journal of Automated Reasoning [22], 379-396		Journal Article
1997Optimised Modal Translation and Resolution
Universität des Saarlandes		Thesis - PhD thesis
1994Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: Relational Methods in Computer Science; Dagstuhl Seminar Report 80 (9403), 21-22		Proceedings Article
1994Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: SIGALA Newsletter [2], 27-27		Journal Article
1994Terminological Logics and Conceptual Graphs: An Historical Perspective
In: KI-94 Workshops: Extended Abstracts, 135-136		Proceedings Article
1993Terminological Representation, Natural Language \& Relation Algebra
In: GWAI-92: Advances in Artificial Intelligence: Proc.~16th German Workshop on Artificial Intelligence, 357-371		Proceedings Article
1
Show details for Schmidt [Böttner, Thümmel]Schmidt [Böttner, Thümmel]
1
Show details for Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev]Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev]
1
Show details for Schmidt [Nipkow]Schmidt [Nipkow]
1
Show details for Schmidt, Hustadt [Hustadt, Baader]Schmidt, Hustadt [Hustadt, Baader]
1
Show details for Schmidt, Orłowska, Hustadt [Or{Schmidt, Orłowska, Hustadt [Or{
1
Show details for Schmidt, Tishkovsky [Balbiani, Suzuki, Wolter, Zakharyaschev, Schmidt, Tishkovsky]Schmidt, Tishkovsky [Balbiani, Suzuki, Wolter, Zakharyaschev, Schmidt, Tishkovsky]
1
Show details for Schmidt, Tishkovsky [Schmidt, Tishkovsky, Flesca, Greco, Leone, Ianni]Schmidt, Tishkovsky [Schmidt, Tishkovsky, Flesca, Greco, Leone, Ianni]

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