Formal models of communicating systems : languages, automata, and monadic second-order logic /

Formal models of communicating systems : languages, automata, and monadic second-order logic /

57

Bibliographic Details
Main Author:	428469 Bollig, Benedikt
Format:
Language:	eng
Published:	New York, NY : Springer, 2006
Subjects:	Electronic data processing Multitasking (Computer science)

Similar Items

On the Parameterised Intractability of Monadic Second−Order Logic
by: Kreutzer, S
Published: (2009)

On the decidability of monadic second-order logic with arithmetic predicates
by: Berthé, V, et al.
Published: (2024)

Evolutionary multitasking : a computer science view of cognitive multitasking
by: Ong, Yew-Soon, et al.
Published: (2021)

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
by: Barany, V, et al.
Published: (2010)

A second course in formal languages and automata theory /
by: 262775 Shallit, Jeffrey
Published: (2009)

Practical parallel processing : an introduction to problem solving in parallel /
by: 458880 Chalmers, Alan, et al.
Published: (1996)

On Brambles‚ Grid−Like Minors‚ and Parameterized Intractability of Monadic Second−Order Logic
by: Kreutzer, S, et al.
Published: (2010)

Concurrent systems : operating systems, database and distributed systems : an integrated apporoach /
by: Bacon, Jean, 1942-
Published: (1998)

An introduction to formal languages and automata /
by: 205539 Linz, Peter
Published: (2006)

The monadic second order theory of all countable ordinals /
by: 359235 Buchi, J. Richard, et al.
Published: (1984)

CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)

Edge-computing-based knowledge distillation and multitask learning for partial discharge recognition
by: Ji, Jinsheng, et al.
Published: (2024)

Weak Monadic Second Order Theory of Successor is not Element-recurive
by: Meyer, Albert R.
Published: (2023)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2017
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2017)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2016
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2016)

JFLAP-an interactive formal languages and automata package /
by: 458729 Rodger, Susan H., et al.
Published: (2006)

Theory of finite automata : with an introduction to formal languages /
by: Carroll, John, 1951-, et al.
Published: (1989)

Insights on transfer optimization : because experience is the best teacher
by: Gupta, Abhishek, et al.
Published: (2021)

Task scheduling for parallel systems /
by: Sinnen, Oliver, 1971-
Published: (2007)

Monadic Datalog Containment
by: Benedikt, M, et al.
Published: (2012)

Monadic Datalog Containment
by: Benedikt, M, et al.
Published: (2012)

Advances in verification of time petri nets and timed automata : a temporal logic approach /
by: 428455 Penczek, Wojciech, et al.
Published: (2006)

Computers and automata : proceedings/
by: Symposium on Computers and Automata (1971 : New York)
Published: (1971)

Automata vs. Logics on Data Words
by: Benedikt, M, et al.
Published: (2010)

Automata vs. Logics on Data Words
by: Benedikt, M, et al.
Published: (2010)

Quantifiers on languages and codensity monads
by: Gehrke, M, et al.
Published: (2017)

Quantifiers on languages and codensity monads
by: Gehrke, M, et al.
Published: (2021)

First order logic as a formal language : an investigation of categorial grammar.
by: Levin, Harold Dresner
Published: (2009)

On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
by: Montanari, A, et al.
Published: (2006)

CPT314 - AUTOMATA THEORY & FORMAL LANGUAGES MAC 05.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2005)

CPT443 - Automata Theory & Formal Languages June 2019
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2019)

CPT443 – Automata Theory & Formal Languages June 2018
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2018)

CPT314 - Automata Theory & Formal Languages - March 2005
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2005)

Planning as an iterative hierarchical process and its formalization in computer models.
by: Emery, James C.
Published: (2009)

Computing : a second course /
by: 236627 Gruenberger, Fred Joseph
Published: (1971)

Pure Second-Order Logic with Second-Order Identity.
by: Paseau, A
Published: (2010)

Weak Cost Monadic Logic over Infinite Trees
by: Boom, M
Published: (2011)

Information systems : theoretical and formal aspects /
by: IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information System (1985 : Sitges, Spain), et al.
Published: (1985)

CPT 314 - AUTOMATA THEORY & FORMAL LANGUAGES MARCH 05 - BI.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2005)

CSA 402 - FINITE AUTOMATA AND FORMAL LANGUAGES MAC-APR 1996.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1996)