> Details

Grädel, Erich [Editor]; Thomas, Wolfgang [Other]; Wilke, Thomas [Other]; Thomas, Wolfgang [Editor]; Wilke, Thomas [Editor]

Automata, logics, and infinite games : a guide to current research

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Bookmarks

Contributor: Grädel, Erich [Hrsg.]; Thomas, Wolfgang [Other]; Wilke, Thomas [Other]; Thomas, Wolfgang [Hrsg.]; Wilke, Thomas [Hrsg.]
imprint: Berlin; Heidelberg [u.a.]: Springer, 2002
Published in: Lecture notes in computer science ; 2500
Tutorial
Extent: VIII, 385 S.; graph. Darst
Language: English
ISBN: 3540003886
RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Unendliches Spiel > Zweipersonenspiel
Büchi-Automat
Unendliches Spiel > Baumautomat > Bewachte Logik > Stufe 2 > Model Checking
My-Kalkül > Logik > Stufe 2 > Monade
Origination:
Footnote:

0 copy copies

of which 0 immediately available

of which 0 available for order

of which 0 not available

show less

(0)