Found 18 Documents (Results 1–18)
Composition closure of linear extended top-down tree transducers. (English) Zbl 1369.68252
Reviewer: Magnus Steinby (Turku)
Determinacy and rewriting of functional top-down and MSO tree transformations. (English) Zbl 1356.68050
Linking theorems for tree transducers. (English) Zbl 1354.68154
Reviewer: Ludwig Staiger (Halle/Saale)
A mechanized theory of regular trees in dependent type theory. (English) Zbl 1465.68062
Urban, Christian (ed.) et al., Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9236, 405-420 (2015).
Equational weighted tree transformations. (English) Zbl 1244.68054
Reviewer: Magnus Steinby (Turku)
Survey: Weighted extended top-down tree transducers. III. Composition. (English) Zbl 1230.68135
Kuich, Werner (ed.) et al., Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement. Berlin: Springer (ISBN 978-3-642-24896-2/pbk). Lecture Notes in Computer Science 7020, 272-308 (2011).
Equational weighted tree transformations with discounting. (English) Zbl 1350.68192
Kuich, Werner (ed.) et al., Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement. Berlin: Springer (ISBN 978-3-642-24896-2/pbk). Lecture Notes in Computer Science 7020, 112-145 (2011).
Tree transformations and dependencies. (English) Zbl 1348.68278
Kanazawa, Makoto (ed.) et al., The mathematics of language. 12th biennial conference, MOL 12, Nara, Japan, September 6–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23210-7/pbk). Lecture Notes in Computer Science 6878. Lecture Notes in Artificial Intelligence, 1-20 (2011).
Extended multi bottom-up tree transducers. (English) Zbl 1186.68254
MSC:
68Q45
Extended multi bottom-up tree transducers. (English) Zbl 1161.68523
Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 289-300 (2008).
MSC:
68Q45
Alphabetic and synchronized tree transducers. (English) Zbl 0974.68094
MSC:
68Q45
Extended macro grammars and stack controlled machines. (English) Zbl 0575.68081
Reviewer: F.Petrescu
MSC:
68Q45
Les tests et leur caractérisation syntaxique. (French) Zbl 0364.68018
MSC:
68N01
Filter Results by …
Document Type
- Journal Articles (13)
- Collection Articles (5)
all
top 5
Author
- Maletti, Andreas (8)
- Engelfriet, Joost (6)
- Fülöp, Zoltán (5)
- Rahonis, George (4)
- Bozapalidis, Symeon (2)
- Lilin, Eric (2)
- Maneth, Sebastian (2)
- Arnold, André (1)
- Benedikt, Michael A. (1)
- Björklund, Johanna (1)
- Cohen, Shay B. (1)
- Dauchet, Max (1)
- Drewes, Frank (1)
- Guessarian, Irène (1)
- Lagoutte, Aurélie (1)
- Satta, Giorgio (1)
- Slutzki, Giora (1)
- Spadotti, Régis (1)
all
top 5
Serial
- Theor. Comput. Sci. (5)
- J. Comput. Syst. Sci. (3)
- Acta Inf. (2)
- RAIRO, Inf. Théor. (1)
- Inf. Comput. (1)
- Theory Comput. Syst. (1)