scientific article
From MaRDI portal
Publication:3836513
zbMath0935.03019MaRDI QIDQ3836513
Publication date: 9 December 1999
Full work available at URL: https://eudml.org/doc/120201
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)
Related Items (4)
Tree tuple languages from the logic programming point of view ⋮ Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs. ⋮ Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems ⋮ Recognizable tree-languages and nonlinear morphisms
Uses Software
This page was built for publication: