Christine Roblot

List of publications from the DBLP Bibliography Server - FAQ

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

1995

1 Christine Roblot: Un langage de programmation en logique propositionnelle basé sur des techniques de réécriture. JFPLC 1995: 413-416