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
Show details for Schmidt [-]Schmidt [-]
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
Hide details for Sofronie-Stokkermans [-]Sofronie-Stokkermans [-]
2007Attachment IconAutomated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ?		Journal Article
2007Attachment IconOn unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ?		Journal Article
2006Sheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ?		Proceedings Article
2004Algebraic and logical methods in automated theorem proving and in the study of concurrency
Universität des Saarlandes		Thesis - Habilitation thesis
2004Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras
In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), 32-37		Proceedings Article
2003Attachment IconResolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
In: Journal of Symbolic Computation [36], 891-924		Journal Article
2001Attachment IconAutomated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
In: Multiple-Valued Logic - An International Journal [6], 289-344		Journal Article
2001Representation theorems and the semantics of (semi)lattice-based logics
In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics, 125-134		Proceedings Article
2000Attachment IconDuality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
In: Studia Logica [64], 93-132		Journal Article

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