Delphine Terrasse

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995

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

1 EE 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	EE	Cristina Cornes, Delphine Terrasse: Automating Inversion of Inductive Predicates in Coq. TYPES 1995: 85-104

Coauthor Index

1 Cristina Cornes [1]