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
Rahman, Rückert, Fischmann
Ratschan
Ratschan, She
Ratschan, Smaus
Ratschan, Vehi
Rau
Reinold
Rock
Rybalchenko
Rybalchenko, Sofronie-Stokkermans
Schäf
Schlobach
Schmidt
Schmidt, Hustadt
Schmidt, Orłowska, Hustadt
Schmidt, Tishkovsky
Schmidt, Tishkovsky, Hustadt
Schmolzi
She, Ratschan
She, Xia, Xiao
Simon, Freiheit, Olbrich
Smaus
Socher-Ambrosius
Sofronie-Stokkermans
	2007		Automated theorem proving by resolution in non-classic logics In: Discrete Applied Mathematics [?], ?	Sofronie-Stokkermans-dam-06
	2007		On unification for bounded distributive lattices In: ACM Transactions on Computational Logic [8], ?	Sofronie-Stokkermans-unif-05
	2006		Interpolation in local theory extensions In: Proceedings of IJCAR 2006, 235-250	Sofronie-ijcar-06
	2006		Local reasoning in verification In: Proceedings of VERIFY'06: Verification Workshop, 128-145	Sofronie-verify-06
	2006		Sheaves and geometric logic in concurrency In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ?	Sofronie-Stokkermans-getco-06
	2005		Hierarchic reasoning in local theory extensions In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234	Sofronie-cade-05

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