uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Venema, Y. (2001) Temporal logic.
    In Goble, L. (Eds.), The Blackwell Guide to Philosophical Logic (pp 259-281). Blackwell Publishers.
    Chapter | UvA-DARE
  • Venema, Y. (2001) Canonical Pseudo-Correspondence.
    In Zakharyaschev, M. alii (Eds.), Advances in Modal Logic, Volume II (pp 421-430)
    Conference contribution | UvA-DARE
  • Venema, Y. (2002) Atomless varieties.
    Technical Report. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Venema, Y. (2002) Duals of subdirectly irreducible modal algebras.
    Technical Report. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Venema, Y. (2003) Atomless varieties.
    Journal of Symbolic Logic, Vol. 68 (pp 607-614)
  • Venema, Y. (2003) Representation of game algebras.
    Studia Logica, Vol. 75 (pp 239-257)
    Article | UvA-DARE
  • Venema, Y. (2004) A dual characterization of subdirectly irreducible BAOs.
    Studia Logica, Vol. 77 (pp 105-115)
    Article | UvA-DARE
  • Venema, Y. (2004) Automata and fixed point logics for coalgebras.
    Electronic Notes in Theoretical Computer Science, Vol. 106 (pp 355-375)
    Article | UvA-DARE
  • Venema, Y. (2004) Automata and Fixed Point Logic: a Coalgebraic Perspective.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Venema, Y. (2006) Algebras and Coalgebras.
    In van Benthem, J.F.A.K. Blackburn, P. Wolter, F. (Eds.), Handbook of Modal Logic (pp 331-426). Elsevier.
    Chapter | UvA-DARE
  • Venema, Y. (2006) Automata and Fixed Point Logics: a Coalgebraic Perspective.
    Information and Computation, Vol. 204 (pp 637-678)
  • Venema, Y. (2012) Algebra en coalgebra: bespiegelingen in de logica.
    Universiteit van Amsterdam.
  • Venema, Y. (2013) Cylindric Modal Logic.
    In Andréka, H. Ferenczi, M. Németi, I. (Eds.), Cylindric-like Algebras and Algebraic Logic (pp 249-269) (Bolyai Society Mathematical Studies, Vol. 22). Springer.
  • Venema, Y. (2014) Expressiveness modulo bisimilarity: a coalgebraic perspective.
    In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 33-65) (Outstanding contributions to logic, Vol. 5). Springer.
  • Verdée, P. (2012) Modelling defeasible reasoning by means of adaptive logic games.
    Logic Journal of the IGPL, Vol. 20 (pp 417-437)
  • Vereshchagin, N.K., Vitanyi, P.M.B. (2002) Kolmogorov's structure functions and an application to the foundations of model selection.
    In Proceedings of the 47th annual IEEE conference on Foundations of Computer Science (pp 741-748). IEEE Computer Society Press.
    Conference contribution | UvA-DARE
  • Vereshchagin, N.K., Vitanyi, P.M.B. (2004) Kolmogorov's Structure Functions and Model Selection.
    IEEE Transactions on Information Theory, Vol. 50 (pp 3265-3290)
  • Vereshchagin, N.K., Vitanyi, P.M.B. (2006) Algorithmic rate-distortion function.
    In Proceedings IEEE International symposium on information theory (pp 798-802). Seattle.
    Conference contribution | UvA-DARE
  • Vereshchagin, N.K., Vitányi, P.M.B. (2010) Rate distortion and denoising of individual data using Kolmogorov complexity.
    IEEE Transactions on Information Theory, Vol. 56 (pp 3438-3454)
  • Vermeulen, I., Bruggeman, J.P. (2001) The logic of organizational markets: thinking through resource partitioning theory.
    Computational and Mathematical Organization Theory, Vol. 7 (pp 87-111)
1 ... 226 227 228 229 230 231 232 233 234 ... 245

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact