×

Found 9 Documents (Results 1–9)

Parity games and automata for game logic. (English) Zbl 1499.03024

Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 115-132 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Comments on Ramanujam and Simon. (English) Zbl 1306.91018

van Benthem, Johan (ed.) et al., Logic across the university: foundations and applications. Proceedings of the Tsinghua logic conference, Beijing, China, October 14–16, 2013. London: College Publications (ISBN 978-1-84890-122-3/pbk). Studies in Logic (London) 47, 192-195 (2013).
MSC:  91A18
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field