zbMath1042.68666MaRDI QIDQ4471942
Jose Antonio Alonso, Francisco Jesús Martín-Mateos, José Luis Ruiz-Reina, María José Hidalgo
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1930/19300092.htm
Mathematics Subject Classification ID
68W30: Symbolic computation and algebraic computation
68Q42: Grammars and rewriting systems
Uses Software