scientific article; zbMATH DE number 1300966
From MaRDI portal
Publication:4246724
zbMath0925.03159MaRDI QIDQ4246724
Alexandre Boudet, Evelyne Contejean
Publication date: 29 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Logic programming (68N17) Equational classes, universal algebra in model theory (03C05)
Related Items
More problems in rewriting, Unification and Matching in Hierarchical Combinations of Syntactic Theories
