dblp.uni-trier.dewww.uni-trier.de

Frédéric Voisin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
13EEFrédéric Voisin: A new Proof-Manager and Graphic Interface for the Larch Prover. TAPSOFT 1997: 863-866
1996
12 Michel Bidoit, Christine Choppy, Frédéric Voisin: ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. AMAST 1996: 555-558
11 Frédéric Voisin: A New Proof-Manager and Graphic Interface for the Larch Prover. AMAST 1996: 567-570
10EEFrédéric Voisin: A New Proof Manager and Graphic Interface for Larch Prover. RTA 1996: 408-411
1995
9 Michel Bidoit, Christine Choppy, Frédéric Voisin: Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience. COMPASS/ADT 1995: 102-124
8 Frédéric Voisin, Michel Bidoit: Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. COMPASS/ADT 1995: 503-521
1993
7 Jean-Claude Raoult, Frédéric Voisin: Set-Theoretic Graph Rewriting. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 312-325
1992
6 Frédéric Voisin: A New Front-End for the Larch Prover. Larch 1992: 282-296
1988
5EEFrédéric Voisin: A Bottom-Up Adaption of Earley's Parsing Algorithm. PLILP 1988: 146-160
1987
4 Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin: ASSPEGIQUE: An Integrated Specification Environment. CTRS 1987: 251-252
3 Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin: Asspegique: An Integrated Specification Environment. STACS 1987: 471
1986
2 Frédéric Voisin: CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing. Sci. Comput. Program. 7(1): 61-86 (1986)
1984
1 Michel Bidoit, Christine Choppy, Frédéric Voisin: The ASSPEGIQUE Specification Environment - Motivations and Design. ADT 1984: 54-72

Coauthor Index

1Michel Bidoit [1] [3] [4] [8] [9] [12]
2Francis Capy [3] [4]
3Christine Choppy [1] [3] [4] [9] [12]
4M.-A. Choquer [3]
5Stéphane Kaplan [3] [4]
6Jean-Claude Raoult [7]
7Françoise Schlienger [3] [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)