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 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]
1
Show details for Schmidt, Tishkovsky [Schmidt, Tishkovsky]Schmidt, Tishkovsky [Schmidt, Tishkovsky]
1
Show details for Schmidt, Tishkovsky [Tishkovsky]Schmidt, Tishkovsky [Tishkovsky]
1
Show details for Schmidt, Tishkovsky, Hustadt [Schmidt, Tishkovsky, Hustadt]Schmidt, Tishkovsky, Hustadt [Schmidt, Tishkovsky, Hustadt]
1
Show details for Schmidt, Tishkovsky, Hustadt [Tishkovsky, Hustadt]Schmidt, Tishkovsky, Hustadt [Tishkovsky, Hustadt]
1
Show details for Schmolzi [-]Schmolzi [-]
1
Show details for She, Ratschan [-]She, Ratschan [-]
1
Show details for She, Xia, Xiao [Xiao, Kovalerchuk]She, Xia, Xiao [Xiao, Kovalerchuk]
1
Show details for Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling]Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling]
1
Show details for Smaus [-]Smaus [-]
8
Show details for Socher-Ambrosius [-]Socher-Ambrosius [-]
14
Show details for Sofronie-Stokkermans [-]Sofronie-Stokkermans [-]
1
Show details for Sofronie-Stokkermans [Autexier, Mantel]Sofronie-Stokkermans [Autexier, Mantel]
1
Show details for Sofronie-Stokkermans [Cachro, Kijania-Placek]Sofronie-Stokkermans [Cachro, Kijania-Placek]
1
Show details for Sofronie-Stokkermans [Caferra, Salzer, Caferra, Salzer]Sofronie-Stokkermans [Caferra, Salzer, Caferra, Salzer]

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