dblp.uni-trier.dewww.uni-trier.de

Gilles Chaminade Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1990
4 Thierry Boy de la Tour, Gilles Chaminade: The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. AIMSA 1990: 3-12
1988
3EEThierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). CADE 1988: 744-745
2 Gilles Chaminade: Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses. ECAI 1988: 625-630
1EEThierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). STACS 1988: 395-396

Coauthor Index

1Ricardo Caferra [1] [3]
2Thierry Boy de la Tour [1] [3] [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)