2013

Conférence Internationale avec comité de lecture

• [BC13] G. Burel, S. Cruanes. "Detection of First Order Axiomatic Theories", Frontiers of Combining Systems 2013, September 2013, Vol. 8152, pp.229-244, Series LNCS, Nancy, France, (DOI: 10.1007/978-3-642-40885-4_16)