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
2	MacNish, Craig (ed.)
6	Madden, Peter
2	Magirou, Vangelis
1	Maher, Michael (ed.)
1	Maibaum, T. S. E. (ed.)
1	Maibaum, T.S.E. (ed.)
10	Maier, Patrick
2	Majumdar, Rupak
2	Makinson, David
2	Malkis, Alexander
1	Maluszynski, Jan (ed.)
1	Mancarella, P. (ed.)
2	Mannila, Heikki
1	Mantel, Heiko (ed.)
1	Marché, Claude (ed.)
2	Marcinkowski, Jerzy (ed.)
1	Marek, V. W. (ed.)
2	Margaria, Tiziana (ed.)
4	Martelli, Maurizio
1	Martin, David (ed.)
2	Mascardi, Viviana
22	Matthews, Sean
1	Maus, Stefan
1	Mayr, Ernst W. (ed.)
3	McAllester, David
4	McAllester, David (ed.)
		2000	de Nivelle, Hans [Bezem, Marc] [Hendriks, Dimitri]	[McAllester, David]		Automated Proof Construction in Type Theory Using Resolution In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 148-163	Proceedings Article
		2000	Sofronie-Stokkermans, Viorica	[McAllester, David]		On unification for bounded distributive lattices In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481	Proceedings Article
		1999		Ganzinger, Harald [McAllester, David] [Voronkov, Andrei]		Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)	Proceedings
		1999	Waldmann, Uwe	Ganzinger, Harald [McAllester, David] [Voronkov, Andrei]		Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147	Proceedings Article

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