3530 articles – 5253 Notices  [english version]
.:. Consultation > Liste par auteurs > Gramlich .:.
3 documents classés par :
Modular Aspects of Rewrite-Based Specifications
Gramlich B.
Dans Recent Trends in Algebraic Development Techniques, 12th Int. Workshop - WADT 97 1376 (1998) 253-268 [inria-00098629 - version 1]
fulltext access On Semi-Completeness of Term Rewriting Systems
Gramlich B.
N° RR-3327 (1997) [inria-00073362 - version 1]
fulltext access Modular Aspects of Rewrite-Based Specifications
Gramlich B.
N° RR-3330 (1997) [inria-00073359 - version 1]