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
1	Ganzinger, Korovin [Kolaitis]
		2003		New Directions in Instantiation-Based Theorem Proving In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64	Proceedings Article
2	Ganzinger, Korovin [Korovin, Hermann, Voronkov]
1	Ganzinger, Korovin [Marcinkowski, Tarlecki]
1	Ganzinger, McAllester [McAllester, Goré, Leitsch, Nipkow]
1	Ganzinger, McAllester [McAllester, Stuckey]
1	Ganzinger, McAllester, Voronkov (ed.) [McAllester, Voronkov]
1	Ganzinger, Meyer, Veanes [Longo]
1	Ganzinger, Meyer, Weidenbach [McCune]
1	Ganzinger, Nieuwenhuis [Nieuwenhuis, Comon, Marché, Treinen]
1	Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela, Goré, Leitsch, Nipkow]
1	Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela]
1	Ganzinger, Sofronie-Stokkermans [-]
2	Ganzinger, Sofronie-Stokkermans, Waldmann [-]
1	Ganzinger, Stuber [-]
2	Ganzinger, Stuber [Stuber]
2	Ganzinger, Waldmann [-]
1	Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Horrocks, Tessaris]
1	Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Voronkov]
1	Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt]
1	Georgieva, Maier [Georgieva, Aichernig, Beckert]
1	Gerber [-]
1	Göbel, Maier [Göbel, Ganzha, Mayr, Vorozhtsov]
1	Goncharov, Harizanov, Knight, Morozov, Romina [Goncharov, Harizanov, Knight, Morozov]
1	Goranko, Hustadt, Schmidt, Vakarelov [Goranko, Hustadt, Vakarelov, Berghammer, Möller, Struth]
4	Graf [-]
1	Graf [Carbonell, Siekmann]
1	Graf [McRobbie, Slaney]
1	Graf, Meyer [-]
1	Grenner [-]

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