Volker Klotz (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Christoph Meinel, Volker Klotz: The first 10 years of the ECCC digital library. Commun. ACM 49(1): 131-134 (2006)

5 Mohammad GhasemZadeh, Volker Klotz, Christoph Meinel: Embedding Memoization to the Semantic Tree Search for Deciding QBFs. Australian Conference on Artificial Intelligence 2004: 681-693

4 Volker Klotz, Christoph Meinel: 10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung Universität Trier, Mathematik/Informatik, Forschungsbericht 04-05: (2004)

Selection of 3 from 6 records - Volker Klotz has 6 coauthors

6		Christoph Meinel, Volker Klotz: The first 10 years of the ECCC digital library. Commun. ACM 49(1): 131-134 (2006)
5		Mohammad GhasemZadeh, Volker Klotz, Christoph Meinel: Embedding Memoization to the Semantic Tree Search for Deciding QBFs. Australian Conference on Artificial Intelligence 2004: 681-693
4		Volker Klotz, Christoph Meinel: 10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung Universität Trier, Mathematik/Informatik, Forschungsbericht 04-05: (2004)