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

Diane Bahrami Vis

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

*2007
4EEMarc Aiguier, Diane Bahrami: Structures for Abstract Rewriting. J. Autom. Reasoning 38(4): 303-351 (2007)
2006
3EEMarc Aiguier, Diane Bahrami, Delphine Longuet: An Abstract Way to Define Rewriting Logic. Electr. Notes Theor. Comput. Sci. 159: 205-226 (2006)
2003
2EEMarc Aiguier, Diane Bahrami: Une approche générique de la réécriture. Technique et Science Informatiques 22(4): 401-433 (2003)
2002
1EEMarc Aiguier, Diane Bahrami, Catherine Dubois: On a Generalised Logicality Theorem. AISC 2002: 51-63

Coauthor Index

1Marc Aiguier [1] [2] [3] [4]
2Catherine Dubois [1]
3Delphine Longuet [3]

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