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

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