×

Found 10 Documents (Results 1–10)

Two-way Parikh automata with a visibly pushdown stack. (English) Zbl 1524.68169

Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 189-206 (2019).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Two-way visibly pushdown automata and transducers. (English) Zbl 1394.68209

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 217-226 (2016).
MSC:  68Q45 03D05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Decision problems of tree transducers with origin. (English) Zbl 1395.68167

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-47665-9/pbk; 978-3-662-47666-6/ebook). Lecture Notes in Computer Science 9135, 209-221 (2015).
MSC:  68Q45 03D05
PDFBibTeX XMLCite
Full Text: DOI Link

Expressiveness of visibly pushdown transducers. (English) Zbl 1464.68158

Maneth, Sebastian (ed.), Proceedings of the 2nd international workshop on trends in tree automata and tree transducers, TTATT’13, Hanoi, Vietnam, October 19, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 134, 17-26 (2013).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: arXiv Link

Properties of visibly pushdown transducers. (English) Zbl 1287.68095

Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 355-367 (2010).
MSC:  68Q45 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tree automata with global constraints. (English) Zbl 1161.68525

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, 314-326 (2008).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Satisfiability of a spatial logic with tree variables. (English) Zbl 1179.03036

Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 130-145 (2007).
MSC:  03B70 68P05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software