Paul Franchi-Zannettacci
Bruno Courcelle and Paul Franchi-Zannettacci.
On the equivalence problem for attribute systems.
Information and Control
, 52(3):275-305, March 1982.
References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database