Quantifiers and verification strategies: connecting the dots

Open Access
Authors
Publication date 2017
Host editors
  • A. Cremers
  • T. van Gessel
  • F. Roelofsen
Book title Proceedings of the 21st Amsterdam Colloquium
Event 21st Amsterdam Colloquium
Pages (from-to) 465-473
Publisher Amsterdam: ILLC
Organisations
  • Faculty of Humanities (FGw)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Language English
Published at https://semanticsarchive.net/Archive/jZiM2FhZ/AC2017-Proceedings.pdf
Downloads
talmina (Final published version)
Permalink to this page
Back