scientific article; zbMATH DE number 1348484
From MaRDI portal
Publication:4264738
zbMath0925.68264MaRDI QIDQ4264738
Publication date: 10 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
The first order theory of primal grammars is decidable ⋮ Unification of infinite sets of terms schematized by primal grammars ⋮ A framework for using knowledge in tableau proofs ⋮ E-generalization using grammars
This page was built for publication:
