scientific article; zbMATH DE number 4135419
From MaRDI portal
zbMATH Open0693.68046MaRDI QIDQ3468622FDOQ3468622
Authors: Sándor Vágvölgyi, Zoltán Fülöp 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
- A fast algorithm for constructing a tree automaton recognizing a congruential tree language
- The congruence theory of closure properties of regular tree languages
- Congruences, homomorphisms and languages of tree automata
- Minimal equational representations of recognizable tree languages
- scientific article; zbMATH DE number 1995181
Cited In (11)
- Derivation trees of ground term rewriting systems.
- Intersection of finitely generated congruences over term algebra
- Congruence-based proofs of the recognizability theorems for free many-sorted algebras
- Congruential complements of ground term rewrite systems
- Linear generalized semi-monadic rewrite systems effectively preserve recognizability
- Title not available (Why is that?)
- Congruences, homomorphisms and languages of tree automata
- Minimal equational representations of recognizable tree languages
- A fast algorithm for constructing a tree automaton recognizing a congruential tree language
- Term rewriting restricted to ground terms.
- Restricted ground tree transducers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3468622)
