Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

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
		1996		Superposition Theorem Proving for Abelian Groups Represented as Integer Modules In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, 33-47	Proceedings Article
		1994		Computing Stable Models by Program Transformation In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 58-73	Proceedings Article
		1991		Inductive Theorem Proving for Horn Clauses Universität Dortmund	Thesis - Masters thesis
1	Stuber [Bibel, Schmitt]
1	Stuber [Bonacina, Furbach]
1	Stuber [Narendran, Rusinowitch]
1	Suchanek [-]
1	Talbot [-]
1	Talbot [Parigot, Voronkov]
1	Talbot, Devienne, Tison [Devienne, Tison]
1	Talbot, Niehren, Müller [Niehren, Müller, Longo]
1	Thiebaux, Hoffmann, Nebel [Thiebaux, Nebel, Gottlob]
1	Timm [-]
1	Trueg, Hoffmann, Nebel [Trueg, Nebel, Biundo, Frühwirth, Palm]
1	Tzakova [-]
1	Tzakova [Murray]
2	van der Torre [-]
1	van der Torre [Hunter, Parsons]
1	van der Torre, Tan [Tan, Cavalcanti]
1	van der Torre, Tan [Tan, Laskey, Prade]
1	van der Torre, Tan [Tan, McNamara, Prakken]
8	van der Torre, Tan [Tan]
1	van der Torre, Weydert [van der Torre]
2	Veanes [-]
1	Veit [-]
1	Viganò [-]
5	Vorobyov [-]
1	Vorobyov [Comon]
1	Vorobyov [Gottlob, Grandjean, Seyr]
1	Vorobyov [Jaffar, Yap]

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