scientific article
From MaRDI portal
Publication:2771057
zbMath0986.68052MaRDI QIDQ2771057
Valérie Gouranton, Pierre Réty, Helmut Seidl
Publication date: 2 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Tree tuple languages from the logic programming point of view ⋮ Towards more precise rewriting approximations ⋮ Tree automata for rewrite strategies ⋮ 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 ⋮ Decidable first-order transition logics for PA-processes
This page was built for publication:
