Yves Auffray

	2012
5		Yves Auffray, Pierre Barbillon, Jean-Michel Marin: Maximin design on non hypercube domains and kernel interpolation. Statistics and Computing 22(3): 703-712 (2012)
	1992
4		Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. J. Log. Comput. 2(3): 247-295 (1992)
	1990
3		Yves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard: Strategies for Modal Resolution: Results and Problems. J. Autom. Reasoning 6(1): 1-38 (1990)
	1989
2		Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. IJCAI 1989: 441-445
	1988
1		Yves Auffray: Linear Strategy for Propositional Modal Resolution. Inf. Process. Lett. 28(2): 87-92 (1988)

Coauthor Index

1	Pierre Barbillon	[5]
2	Patrice Enjalbert	[2] [3] [4]
3	Jean-Jacques Hébrard	[3]
4	Jean-Michel Marin	[5]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page