Zoekresultaten
Resultaat 1 - 20 (van 33)
Yde Venema Automata and fixed point logic
a coalgebraic perspective
Non-fictie
Engels | 32 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Mai Gehrke | John Harding | Yde Venema MacNeille completions and canonical extensions
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Ian Hodkinson | Yde Venema Canonical varieties with no canonical axiomatisation
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Clemens Kupke | A. Kurz | Yde Venema Stone coalegebras
Non-fictie
Engels | 31 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Robert Goldblatt | Ian Hodkinson | Yde Venema Erds graphs resolve Fine's canonicity problem
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Yde Venema Atomless varieties
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Yde Venema Duals of subdirectly irreducible modal algebras
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Mai Gehrke | Hideo Nagahashi | Yde Venema A Sahlqvist theorem for distributive modal logic
Non-fictie
Engels | 43 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
G. Goguadze | C. Piazza | Yde Venema Simulating polyadic modal logics by monadic ones
Non-fictie
Engels | 46 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2001
Gedrukt boek
Maarten Marx | Yde Venema Local variations on a loose theme: modal logic and decidability
Non-fictie
Engels | 57 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Ian Hodkinson | Szabolcs Mikulás | Yde Venema Axiomatizing complex algebras by games
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Yde Venema | V. Stebletsova Undecidable theories of Lyndon algebras
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Steven Givant | Yde Venema The preservation of Sahlqvist equations in completions of Boolean algebras with operators
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Yde Venema Temporal logic
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Yde Venema Canonical pseudo-correspondence
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Yde Venema Points, lines and diamonds: a two-sorted modal logic for projective planes
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Maarten Marx | Yde Venema Multi-dimensional modal logic
Non-fictie
Engels | 239 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1997
Gedrukt boek
V. Stebletsova | Yde Venema Q-algebras
Non-fictie
Engels | 24 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1997
Gedrukt boek
Joeri Engelfriet | Yde Venema A modal logic of information change
Non-fictie
Engels | 29 pagina's | Vrije Universiteit, Amsterdam | 1997
Gedrukt boek
Yde Venema | Maarten Marx A modal logic of relations
Non-fictie
Engels | 31 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek