scientific article; zbMATH DE number 1348461

zbMath0925.03144MaRDI QIDQ4264713

Jörg Würtz, Wolfgang Bibel, Steffen Hölldobler

Publication date: 7 October 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items

Satisfiability of the smallest binary program, More problems in rewriting, Detecting non-provable goals, Primal grammars and unification modulo a binary clause, Weighted systems of equations, Thue trees