Decidability results in automata and process theory

Yoram Hirshfeld; Faron Moller

doi:10.1007/3-540-60915-6_4

Decidability results in automata and process theory

School of Mathematical Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Logics for Concurrency - Structure versus Automata
Editors	Faron Moller, Graham Birtwistle
Publisher	Springer Verlag
Pages	102-148
Number of pages	47
ISBN (Print)	3540609156, 9783540609155
DOIs	https://doi.org/10.1007/3-540-60915-6_4
State	Published - 1996
Event	8th Banff Higher Order Workshop on Logics for Concurrency: Structure Versus Automata, 1994 - Banff, Canada Duration: 27 Aug 1994 → 3 Sep 1994

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1043
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th Banff Higher Order Workshop on Logics for Concurrency: Structure Versus Automata, 1994
Country/Territory	Canada
City	Banff
Period	27/08/94 → 3/09/94

Access to Document

10.1007/3-540-60915-6_4

Cite this

Hirshfeld, Y., & Moller, F. (1996). Decidability results in automata and process theory. In F. Moller, & G. Birtwistle (Eds.), Logics for Concurrency - Structure versus Automata (pp. 102-148). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1043). Springer Verlag. https://doi.org/10.1007/3-540-60915-6_4

@inproceedings{cff914e603184967b0b8d4d8989f2cc6,

title = "Decidability results in automata and process theory",

author = "Yoram Hirshfeld and Faron Moller",

year = "1996",

doi = "10.1007/3-540-60915-6_4",

language = "אנגלית",

isbn = "3540609156",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "102--148",

editor = "Faron Moller and Graham Birtwistle",

booktitle = "Logics for Concurrency - Structure versus Automata",

note = "8th Banff Higher Order Workshop on Logics for Concurrency: Structure Versus Automata, 1994 ; Conference date: 27-08-1994 Through 03-09-1994",

}

Hirshfeld, Y & Moller, F 1996, Decidability results in automata and process theory. in F Moller & G Birtwistle (eds), Logics for Concurrency - Structure versus Automata. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1043, Springer Verlag, pp. 102-148, 8th Banff Higher Order Workshop on Logics for Concurrency: Structure Versus Automata, 1994, Banff, Canada, 27/08/94. https://doi.org/10.1007/3-540-60915-6_4

Decidability results in automata and process theory. / Hirshfeld, Yoram; Moller, Faron.
Logics for Concurrency - Structure versus Automata. ed. / Faron Moller; Graham Birtwistle. Springer Verlag, 1996. p. 102-148 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1043).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Decidability results in automata and process theory

AU - Hirshfeld, Yoram

AU - Moller, Faron

PY - 1996

Y1 - 1996

UR - http://www.scopus.com/inward/record.url?scp=0003733777&partnerID=8YFLogxK

U2 - 10.1007/3-540-60915-6_4

DO - 10.1007/3-540-60915-6_4

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:0003733777

SN - 3540609156

SN - 9783540609155

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 102

EP - 148

BT - Logics for Concurrency - Structure versus Automata

A2 - Moller, Faron

A2 - Birtwistle, Graham

PB - Springer Verlag

T2 - 8th Banff Higher Order Workshop on Logics for Concurrency: Structure Versus Automata, 1994

Y2 - 27 August 1994 through 3 September 1994

ER -

Decidability results in automata and process theory

Publication series

Conference

Access to Document

Other files and links

Cite this