Michel Cayrol (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

1

Michel Cayrol, Olivier Palmade, Thomas Schiex: A Fixed Point Semantics for the ATMS. J. Log. Comput. 3(2): 115-130 (1993)

Selection of 1 from 6 records - Michel Cayrol has 7 coauthors