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

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	428469 Bollig, Benedikt
Формат:
Хэл сонгох:	eng
Хэвлэсэн:	New York, NY : Springer, 2006
Нөхцлүүд:	Electronic data processing Multitasking (Computer science)

Ижил төстэй зүйлс

On the Parameterised Intractability of Monadic Second−Order Logic
-н: Kreutzer, S
Хэвлэсэн: (2009)

On the decidability of monadic second-order logic with arithmetic predicates
-н: Berthé, V, зэрэг
Хэвлэсэн: (2024)

Evolutionary multitasking : a computer science view of cognitive multitasking
-н: Ong, Yew-Soon, зэрэг
Хэвлэсэн: (2021)

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
-н: Barany, V, зэрэг
Хэвлэсэн: (2010)

A second course in formal languages and automata theory /
-н: 262775 Shallit, Jeffrey
Хэвлэсэн: (2009)

On Brambles‚ Grid−Like Minors‚ and Parameterized Intractability of Monadic Second−Order Logic
-н: Kreutzer, S, зэрэг
Хэвлэсэн: (2010)

Practical parallel processing : an introduction to problem solving in parallel /
-н: 458880 Chalmers, Alan, зэрэг
Хэвлэсэн: (1996)

Task scheduling in parallel and distributed systems /
-н: 212321 El-Rewini, Hesham, зэрэг
Хэвлэсэн: (1994)

An introduction to formal languages and automata /
-н: 205539 Linz, Peter
Хэвлэсэн: (2006)

An introduction to formal languages and automata /
-н: 205539 Linz, Peter
Хэвлэсэн: (2001)

The monadic second order theory of all countable ordinals /
-н: 359235 Buchi, J. Richard, зэрэг
Хэвлэсэн: (1984)

Concurrent systems : operating systems, database and distributed systems : an integrated apporoach /
-н: Bacon, Jean, 1942-
Хэвлэсэн: (1998)

CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
-н: PPSKOM, Pusat Pengajian Sains Komputer
Хэвлэсэн: (2021)

Edge-computing-based knowledge distillation and multitask learning for partial discharge recognition
-н: Ji, Jinsheng, зэрэг
Хэвлэсэн: (2024)

Weak Monadic Second Order Theory of Successor is not Element-recurive
-н: Meyer, Albert R.
Хэвлэсэн: (2023)

Transactions on petri nets and other models of concurrency I /
-н: 437192 Jensen, Kurt, зэрэг
Хэвлэсэн: (2009)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2017
-н: PPSKOM, Pusat Pengajian Sains Komputer
Хэвлэсэн: (2017)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2016
-н: PPSKOM, Pusat Pengajian Sains Komputer
Хэвлэсэн: (2016)

JFLAP-an interactive formal languages and automata package /
-н: 458729 Rodger, Susan H., зэрэг
Хэвлэсэн: (2006)

Theory of finite automata : with an introduction to formal languages /
-н: Carroll, John, 1951-, зэрэг
Хэвлэсэн: (1989)

Insights on transfer optimization : because experience is the best teacher
-н: Gupta, Abhishek, зэрэг
Хэвлэсэн: (2021)

Monadic Datalog Containment
-н: Benedikt, M, зэрэг
Хэвлэсэн: (2012)

Monadic Datalog Containment
-н: Benedikt, M, зэрэг
Хэвлэсэн: (2012)

Task scheduling for parallel systems /
-н: Sinnen, Oliver, 1971-
Хэвлэсэн: (2007)

Quantifiers on languages and codensity monads
-н: Gehrke, M, зэрэг
Хэвлэсэн: (2017)

Quantifiers on languages and codensity monads
-н: Gehrke, M, зэрэг
Хэвлэсэн: (2021)

Automata vs. Logics on Data Words
-н: Benedikt, M, зэрэг
Хэвлэсэн: (2010)

Automata vs. Logics on Data Words
-н: Benedikt, M, зэрэг
Хэвлэсэн: (2010)

Computers and automata : proceedings/
-н: Symposium on Computers and Automata (1971 : New York)
Хэвлэсэн: (1971)

Advances in verification of time petri nets and timed automata : a temporal logic approach /
-н: 428455 Penczek, Wojciech, зэрэг
Хэвлэсэн: (2006)

First order logic as a formal language : an investigation of categorial grammar.
-н: Levin, Harold Dresner
Хэвлэсэн: (2009)

Concurrent programming on windows /
-н: Duffy, Joe, 1980-
Хэвлэсэн: (2009)

On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
-н: Montanari, A, зэрэг
Хэвлэсэн: (2006)

CPT314 - AUTOMATA THEORY & FORMAL LANGUAGES MAC 05.
-н: PPSKOM, Pusat Pengajian Sains Komputer
Хэвлэсэн: (2005)

CPT443 - Automata Theory & Formal Languages June 2019
-н: PPSKOM, Pusat Pengajian Sains Komputer
Хэвлэсэн: (2019)

CPT443 – Automata Theory & Formal Languages June 2018
-н: PPSKOM, Pusat Pengajian Sains Komputer
Хэвлэсэн: (2018)

CPT314 - Automata Theory & Formal Languages - March 2005
-н: PPSKOM, Pusat Pengajian Sains Komputer
Хэвлэсэн: (2005)

Logics and models of concurrent systems /
-н: Apt, Krzysztof
Хэвлэсэн: (1985)

Pure Second-Order Logic with Second-Order Identity.
-н: Paseau, A
Хэвлэсэн: (2010)

Planning as an iterative hierarchical process and its formalization in computer models.
-н: Emery, James C.
Хэвлэсэн: (2009)