Zoekresultaten
Resultaat 1 - 2 (van 2)
A. Kurz | D. Pattinson Coalgebraic modal logic of finite rank
Non-fictie
Engels | 23 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
M. Bidoit | R. Hennicker | A. Kurz Observational logic, constructor-based logic, and their duality
Non-fictie
Engels | 33 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek