Programming with narrowing: a tutorial
Sergio Antoy
págs. 501-522
Anti-patterns for rule-based languages
Horatiu Cirstea
págs. 523-550
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
Masaki Makamura, Kazuhiro Ogata, Kokichi Futatsugi
págs. 551-573
Equational approximations for a tree automata completion
Thomas Genet, Vlad Rusu
págs. 574-597
External an internal syntax of the ?-calculus
M. Sato, Randy Pollack
págs. 598-616
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: