Delphine Terrasse Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - 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]