| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sándor Vágvölgyi |
CHAP and rewrite components.  |
Acta Inf.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxue Piao, Kai Salomaa, Sándor Vágvölgyi |
Tree Homomorphisms for Unranked Trees.  |
AFL  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Rewriting Preserving Recognizability of Finite Tree Languages  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Ground Term Rewriting.  |
Bulletin of the EATCS  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Deterministic bottom-up tree transducers and ground term rewrite systems.  |
Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Congruences Generated by Extended Ground Term Rewrite Systems.  |
Fundam. Inform.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
On ground word problem of term equation systems  |
CoRR  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
On Ranges of Bottom-up Tree Transducers.  |
Automata, Formal Languages, and Related Topics  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Murg term rewrite systems.  |
Inf. Process. Lett.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Losing recognizability.  |
Theor. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Descendants of a recognizable tree language for sets of linear monadic term rewrite rules.  |
Inf. Process. Lett.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Hornung, Sándor Vágvölgyi |
Storage-to-tree transducers with look-ahead.  |
Theor. Comput. Sci.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Left-linear Right-ground Term Rewrite Systems and Ground Term Rewrite Systems.  |
Bulletin of the EATCS  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Right-linear half-monadic term rewrite systems.  |
Theor. Comput. Sci.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Term rewriting restricted to ground terms.  |
Theor. Comput. Sci.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
On ground tree transformations and congruences induced by tree automata.  |
Theor. Comput. Sci.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Intersection of finitely generated congruences over term algebra.  |
Theor. Comput. Sci.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Kai Salomaa, Sándor Vágvölgyi |
Shuffle Decompositions of Regular Languages.  |
Int. J. Found. Comput. Sci.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
Restricted ground tree transducers.  |
Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | János Apró, Sándor Vágvölgyi |
The Ground Tree Transducer Game with Identical Tree Automata.  |
Fundam. Inform.  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Kai Salomaa, Sándor Vágvölgyi |
Shuffle Quotient and Decompositions.  |
Developments in Language Theory  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pál Gyenizse, Sándor Vágvölgyi |
A property of left-linear rewrite systems preserving recognizability.  |
Theor. Comput. Sci.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Congruential complements of ground term rewrite systems.  |
Theor. Comput. Sci.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Intersection of Finitely Generated Congruences over the Term Algebra with Equal Trunks.  |
Bulletin of the EATCS  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Fülöp, Eija Jurvanen, Magnus Steinby, Sándor Vágvölgyi |
On One-Pass Term Rewriting.  |
Acta Cybern.  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Pál Gyenizse, Sándor Vágvölgyi |
Linear Generalized Semi-Monadic Rewrite Systems Effectively Preserve Recognizability.  |
Theor. Comput. Sci.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
The Ground Tree Transducer Game.  |
Fundam. Inform.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Simple and Minimal Ground Term Equation Systems.  |
Fundam. Inform.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Eija Jurvanen, Magnus Steinby, Sándor Vágvölgyi |
On One-Pass Term Rewriting.  |
MFCS  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
Minimal Equational Representations of Recognizable Tree Languages.  |
Acta Inf.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pál Gyenizse, Sándor Vágvölgyi |
Compositions of Deterministic Bottom-Up, Top-Down, and Regular Look-Ahead Tree Transformations.  |
Theor. Comput. Sci.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Giora Slutzki, Sándor Vágvölgyi |
A Hierarchy of Deterministic Top-Down Tree Transformations.  |
Mathematical Systems Theory  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Giora Slutzki, Sándor Vágvölgyi |
Deterministic Top-Down Tree Transducers with Iterated Lookahead.  |
Theor. Comput. Sci.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
Attributed Tree Transducers Cannot Induce all Deterministic Bottom-Up Tree Transformations  |
Inf. Comput.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi |
Bottom-Up Tree Pushdown Automata: Classification and Connection with Rewrite Systems.  |
Theor. Comput. Sci.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Frank Herrmann, Sándor Vágvölgyi, Heiko Vogler |
Tree Transducers with External Functions.  |
Theor. Comput. Sci.  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
A Fast Algorithm for Constructing a Tree Automaton Recognizing a Congruential Tree Language.  |
Theor. Comput. Sci.  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Giora Slutzki, Sándor Vágvölgyi |
A Hierarchy of Deterministic Top-down Tree Transformations.  |
FCT  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Top-Down Tree Transducers with Two-Way Tree Walking Look-Ahead.  |
Theor. Comput. Sci.  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi, Rémi Gilleron |
For a rewrite system it is decidable whether the set of irreducible, ground terms is regognizable.  |
Bulletin of the EATCS  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
Decidability of the inclusion in monoids generated by tree transformation classes.  |
Tree Automata and Languages  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
A Complete Classification of Deterministic Root-To-Frontier Tree Transformation Classes.  |
Theor. Comput. Sci.  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
Ground Term Rewriting Rules for the Word Problem of Ground Term Equations.  |
Bulletin of the EATCS  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi |
Bottom-Up Tree Pushdown Automata and Rewrite Systems.  |
RTA  |
1991 |
DBLP DOI BibTeX RDF |
Rewrite systems (=term rewrite systems), Church-Rosser (=confluent) systems, Noetherian systems, Convergent (=noetherian+confluent) systems, (Deterministic) tree automaton with pushdown store, (Recognizable, Context-free) tree languages |
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
The Emptiness Problem is Undecidable for Domains of Partial Monadic 2-Modular Tree Transformations.  |
Inf. Process. Lett.  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
A Complete Rewriting System for a Monoid of Tree Transformation Classes  |
Inf. Comput.  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
Top-Down Tree Transducers with Deterministic Top-Down Look-Ahead.  |
Inf. Process. Lett.  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
Congruential tree languages are the same as recognizable tree languages - a proof for a theorem of D. Kozen.  |
Bulletin of the EATCS  |
1989 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
Variants of Top-Down Tree Transducers With Look-Ahead.  |
Mathematical Systems Theory  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
Iterated Deterministic Top-Down Look-Ahead.  |
FCT  |
1989 |
DBLP BibTeX RDF |
|
| 1 | Sándor Vágvölgyi, Zoltán Fülöp |
On ranges of compositions of deterministic root-to-frontier tree transformations.  |
Acta Cybern.  |
1988 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
On domains of tree tranducers.  |
Bulletin of the EATCS  |
1988 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata.  |
ALP  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Vágvölgyi, Zoltán Fülöp |
An infinite hierarchy of tree transformations in the cals NDR.  |
Acta Cybern.  |
1987 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Fülöp, Sándor Vágvölgyi |
Results on compositions of deterministic root-to-frontier tree transformations.  |
Acta Cybern.  |
1987 |
DBLP BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
On the compositions of root-to-frontier tree tranformations.  |
Acta Cybern.  |
1986 |
DBLP BibTeX RDF |
|