Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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	BibTeX cite key
	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	Sofronie1997a
	2000		Resolution-based theorem proving for SHn-logics In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), 268-282	Sofronie-Stokkermans-ftp2000
	2000		Some properties of Kleene algebras In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7	Sofronie-Stokkermans2000-atlas-2
	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	Sofronie-Stokkermans1999-cade
	1999		Priestley representation for distributive lattices with operators and applications to automated theorem proving In: Dualities, Interpretability and Ordered Structures, 43-54	Sofronie-Stokkermans-dualities1999
	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	Sofronie-Stokkermans1999-ismvl
	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	Sofronie-Stokkermans1999-lmps
	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	Sofronie1998a
	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), ?-?	Sofronie1998c
	1998		Resolution-based Theorem Proving for SHn-Logics	Sofronie1998b
Sofronie-Stokkermans, Stokkermans
Struth
Stuber
Suchanek
Talbot
Talbot, Devienne, Tison
Talbot, Niehren, Müller
Thiebaux, Hoffmann, Nebel
Timm
Trueg, Hoffmann, Nebel
Tzakova
van der Torre
van der Torre, Tan
van der Torre, Weydert
Veanes
Veit
Viganò
Vorobyov
Vorobyov, Voronkov
Voronkov

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