×

Found 11 Documents (Results 1–11)

Automata on infinite trees. (English) Zbl 07469506

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 265-302 (2021).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Multi-buffer simulations for trace language inclusion. (English) Zbl 1478.68130

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 213-227 (2016).
MSC:  68Q45 68Q25 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

A uniform (bi-)simulation-based framework for reducing tree automata. (English) Zbl 1291.68223

Češka, Milan (ed.) et al., Proceedings of the international doctoral workshop on mathematical and engineering methods in computer science (MEMICS 2008), Znojmo, Czech Republic, November 14–16, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 251, 27-48 (2009).
MSC:  68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Computing simulations over tree automata. Efficient techniques for reducing tree automata. (English) Zbl 1134.68391

Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). Lecture Notes in Computer Science 4963, 93-108 (2008).
MSC:  68Q60 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software