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
		1998	Bachmair, Leo Ganzinger, Harald Voronkov, Andrei	Kirchner, Claude Kirchner, Hélène		Elimination of Equality via Transformation with Ordering Constraints In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190	Proceedings Article
		1998	[Degtyarev, Anatoli] [Gurevich, Yuri] [Narendran, Paliath] Veanes, Margus [Voronkov, Andrei]	[Nipkow, Tobias]		The Decidability of Simultaneous Rigid E-Unification with One Variable In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195	Proceedings Article
		1998	Vorobyov, Sergei Voronkov, Andrei			Complexity of Nonrecursive Logic Programs with Complex Values In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-98), 244-253	Proceedings Article
18	Voronkov, Andrei (ed.)
4	Voronkov, A. (ed.)
1	Vorozhtsov, Evgenii V. (ed.)
1	Wachsmuth, Ipke (ed.)
1	Wagner, Dorothea (ed.)
6	Wagner, Silke
22	Waldmann, Uwe
1	Wallin, Annika (ed.)
6	Walsh, Toby
1	Walukiewicz, Igor
1	Wang, Dongming (ed.)
1	Wang, D. (ed.)
3	Wang, Yongge
3	Wansing, Heinrich (ed.)
2	Wansing, H. (ed.)
1	Warren, David Scott (ed.)
1	Warren, D. S. (ed.)
33	Weidenbach, Christoph
1	Weispfenning, V.
7	Werner, Andreas
2	Wetzel, Susanne
30	Weydert, Emil
2	Weydert, Emil (ed.)
2	Wiedermann, Jiri (ed.)
3	Wies, Thomas
1	Williams, Denise A. (ed.)
2	Winskel, Glynn (ed.)

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