You are here

Home › Research › Publications ›

Prefix-Recognizable Graphs and Monadic Logic

TitlePrefix-Recognizable Graphs and Monadic Logic
Publication TypeBook Chapter
Year of Publication2002
AuthorsLeucker, M
EditorGrädel, E, Thomas, W, Wilke, {T}omas
Book TitleAutomata, Logics and Infinite Games
Series TitleLecture Notes in Computer Science
Volume2500
Pagination263–283
PublisherSpringer
URLhttp://link.springer.de/link/service/series/0558/papers/2500/25000263.pdf
Bibtex: 
@inbook {Leucker01,
	title = {Prefix-Recognizable Graphs and Monadic Logic},
	booktitle = {Automata, Logics and Infinite Games},
	series = {Lecture Notes in Computer Science},
	volume = {2500},
	year = {2002},
	pages = {263{\textendash}283},
	publisher = {Springer},
	organization = {Springer},
	url = {http://link.springer.de/link/service/series/0558/papers/2500/25000263.pdf},
	author = {Martin Leucker},
	editor = {Erich Gr{\"a}del and Wolfgang Thomas and {Th}omas Wilke}
}