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
1	Uebe, G. (ed.)
1	Ursini, Aldo (ed.)
1	Urzyczyn, Pawe{ł} (ed.)
1	Vakarelov, Dimiter
1	Vakil, R. (ed.)
1	Vallduvi, Enric (ed.)
2	Valmari, Antti (ed.)
22	van der Torre, Leendert W. N.
1	van Emde Boas, Peter (ed.)
2	Van Hentenryck, Pascal (ed.)
1	van Leeuwen, Jan (ed.)
1	Vardi, Moshe
1	Varsek, I.
1	Vaz de Carvalho, Júlia (ed.)
10	Veanes, Margus
1	Vehi, Josep
1	Veit, Jörg
1	Ventura, Paolo
9	Viganò, Luca
1	Vigneron, Laurent (ed.)
1	Vogel, Carl (ed.)
1	Vojtas, Peter (ed.)
1	von Wright, J. (ed.)
11	Vorobyov, Sergei
10	Voronkov, Andrei
		2005	Korovin, Konstantin [Voronkov, Andrei]			Knuth-Bendix constraint solving is NP-complete In: ACM Transactions on Computational Logic [6], 361-388	Journal Article
		2003	Korovin, Konstantin [Voronkov, Andrei]			Orienting rewrite rules with the Knuth-Bendix order In: Information and Computation [183], 165-186	Journal Article
		2003	Korovin, Konstantin [Voronkov, Andrei]	[Baader, Franz]		AC-compatible Knuth-Bendix Order In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59	Proceedings Article
		2003	Korovin, Konstantin [Voronkov, Andrei]	[Kolaitis, Phokion]		Orienting Equalities with the Knuth-Bendix Order In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84	Proceedings Article
		2001	[Nieuwenhuis, Robert] Hillenbrand, Thomas [Riazanov, Alexandre] [Voronkov, Andrei]	[Goré, Rajeev] [Leitsch, Alexander] [Nipkow, Tobias]		On the Evaluation of Indexing Techniques for Theorem Proving In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271	Proceedings Article

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