Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

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	Author(s) [non member]	Editor(s) [non member]		Title	Type
		2004	Kazakov, Yevgeny de Nivelle, Hans	[Basin, David] [Rusinowitch, Michael]		A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136	Proceedings Article
		1999	Stuber, Jürgen	[Narendran, Paliath] [Rusinowitch, Michael]		Theory path orderings In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), 148-162	Proceedings Article
1	Rusinowitch, M. (ed.)
1	Rus, Teodor (ed.)
1	Ruzicka, Peter (ed.)
20	Rybalchenko, Andrey
1	Sabharwal, Ashish
1	Sabin, Mihaela (ed.)
1	Sagiv, Mooly (ed.)
1	Sagiv, Yehoshua (ed.)
1	Salzer, Gernot (ed.)
1	Sandewall, E. (ed.)
1	SanJuan, Eric (ed.)
1	Sannella, Don (ed.)
2	Sasikumar, M. (ed.)
1	Sattler, Ulrike (ed.)
1	Scannapieco, Monica (ed.)
1	Schader, M. (ed.)
2	Schaefer, Ina
1	Schäfers, Renate
1	Schäf, Martin
1	Schaub, Torsten (ed.)
1	Schirmer, Norbert
1	Schlobach, Stefan
1	Schmidt, G. (ed.)
36	Schmidt, Renate A.
2	Schmidt, Renate (ed.)
3	Schmitt, Peter H. (ed.)
1	Schmolzi, Christian
1	Scholl, Christoph

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