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

Wadoud Bousdira Vis

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

*2000
9EEZahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin: CDR: A Rewriting Based Tool to Design FPLA Circuits. AISC 2000: 219-222
1998
8 Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi: Designing FPLA Combinational Circuits by Conditional Rewriting. ECAI 1998: 373-377
1996
7 Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot: On Theorem-Proving in Horn Theories with Built-in Algebras. AISMC 1996: 320-338
1990
6 Wadoud Bousdira, Jean-Luc Remy: On Sufficient Completeness of Conditional Specifications. CTRS 1990: 272-286
1988
5EEWadoud Bousdira: A Completion Procedure for Hierarchical Conditional Rewriting Systems. ALP 1988: 93-107
4EEWadoud Bousdira, Jean-Luc Remy: Hierarchical Contextual Rewriting with Several Levels. STACS 1988: 193-206
1987
3 Wadoud Bousdira, Jean-Luc Remy: Hierarchical Contextual Rewriting with Several Levels. CTRS 1987: 15-30
2 Wadoud Bousdira, Jean-Luc Remy: REVEUR4: A Laboratory for Conditional Rewriting. CTRS 1987: 253-257
1EEWadoud Bousdira, Jean-Luc Remy: REVEUR4: A Laboratory for Conditional Rewriting. STACS 1987: 472-473

Coauthor Index

1Nirina Andrianarivelo [7] [8] [9]
2Jacques Chabin [8] [9]
3Zahir Maazouzi [8] [9]
4Jean-Luc Remy [1] [2] [3] [4] [6]
5Jean-Marc Talbot [7]

Colors in the list of coauthors

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