zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–3)

Inf. Comput. 254, Part 2, 316-328 (2017).

MSC: 68Q60 03B44

BibTeX Cite

Full Text: DOI

Doomsday equilibria for omega-regular games. (English) Zbl 1370.68164

Inf. Comput. 254, Part 2, 296-315 (2017).

MSC: 68Q45 91A43

BibTeX Cite

Full Text: DOI

Inf. Comput. 254, Part 2, 259-295 (2017).

MSC: 91A43 91A05 90C40

BibTeX Cite

Full Text: DOI

any	anywhere	an	internal document identifier
au	author, editor	ai	internal author identifier
ti	title	la	language
so	source	ab	review, abstract
py	publication year	rv	reviewer
cc	MSC code	ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)