págs. 113-134
Normal forms for context-free node-rewriting hypergraph grammars
R. Klempien-Hinrichs
págs. 135-148
págs. 149-176
Pushout complements for partly total algebras
P. Burmeister
págs. 177-202
Fusion in relational structures and the verification of monadic second-order properties
J. A. Makowsky, B. Courcelle
págs. 203-235
© 2008-2024 Fundación Dialnet · Todos los derechos reservados