Delphine Terrasse

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1995

2 Delphine Terrasse: Encoding Natural Semantics in Coq. AMAST 1995: 230-244

1 Cristina Cornes, Delphine Terrasse: Automating Inversion of Inductive Predicates in Coq. TYPES 1995: 85-104

	1995
2		Delphine Terrasse: Encoding Natural Semantics in Coq. AMAST 1995: 230-244
1		Cristina Cornes, Delphine Terrasse: Automating Inversion of Inductive Predicates in Coq. TYPES 1995: 85-104

Coauthor Index

1 Cristina Cornes [1]