Gilles Chaminade

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- 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

3 Thierry 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

1 Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). STACS 1988: 395-396

	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
3		Thierry 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
1		Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). STACS 1988: 395-396

Coauthor Index

1 Ricardo Caferra [1] [3]

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