Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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

#		Year		Title	Type
		2000		Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics In: Multiple-Valued Logic - An International Journal [5], 281-305	Journal Article
		2000		Resolution-based theorem proving for SHn-logics In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), 268-282	Proceedings Article
		2000		Some properties of Kleene algebras In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7	Part of a Book
		1999		On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171	Proceedings Article
		1999		Priestley representation for distributive lattices with operators and applications to automated theorem proving In: Dualities, Interpretability and Ordered Structures, 43-54	Proceedings Article
		1999		Representation Theorems and Automated Theorem Proving in Non-Classical Logics In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), 242-247	Proceedings Article
		1999		Resolution-based theorem proving for non-classical logics based on distributive lattices with operators In: Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, 481-481	Proceedings Article
		1998		On Translation of Finitely-Valued Logics to Classical First-Order Logic In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 410-411	Proceedings Article
		1998		Representation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98), ?-?	Proceedings Article
		1998		Resolution-based Theorem Proving for SHn-Logics	Report
1	Sofronie-Stokkermans, Stokkermans
4	Struth
9	Stuber
1	Suchanek
2	Talbot
1	Talbot, Devienne, Tison
1	Talbot, Niehren, Müller
1	Thiebaux, Hoffmann, Nebel
1	Timm
1	Trueg, Hoffmann, Nebel
2	Tzakova
3	van der Torre
11	van der Torre, Tan
1	van der Torre, Weydert
2	Veanes
1	Veit
1	Viganò
10	Vorobyov
1	Vorobyov, Voronkov
1	Voronkov

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