×

Found 18 Documents (Results 1–18)

On the separation question for tree languages. (English) Zbl 1245.68116

Dürr, Christoph (ed.) et al., STACS 2012. 29th international symposium on theoretical aspects of computer science, Paris, France, February 29th – March 3rd, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-35-4). LIPIcs – Leibniz International Proceedings in Informatics 14, 396-407, electronic only (2012).
MSC:  68Q45 03D05
PDFBibTeX XMLCite
Full Text: DOI

Nondeterministic controllers of nondeterministic processes. (English) Zbl 1215.93082

Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 29-52 (2008).
MSC:  93C65 03D05 93B50
PDFBibTeX XMLCite

On the topological complexity of tree languages. (English) Zbl 1244.03116

Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 9-28 (2008).
MSC:  03D05 03E15 68Q45
PDFBibTeX XMLCite

Ambiguous classes in the games \(\mu\)-calculus hierarchy. (English) Zbl 1029.68095

Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 70-86 (2003).
MSC:  68Q60 03B70 91A80
PDFBibTeX XMLCite
Full Text: Link

Finite transition systems. Semantics of communicating systems. Transl. from French by John Plaice. (Systèmes de transitions finis et sémantique de processus communicants). (English) Zbl 0796.68141

Prentice Hall International Series in Computer Science. Hemel Hempstead: Prentice Hall. Paris: Masson, 177 p. $ 60.00 /hc (1994).
Reviewer: H.Stahn (Dresden)
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software