uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Törnberg, P. (2025) Social Media Imaginaries and the City: How the Attention Economy Is Reshaping Urban Built Environments.
    Social Media and Society, Vol. 11
  • Törnberg, P. (2025) Large Language Models Outperform Expert Coders and Supervised Classifiers at Annotating Political Social Media Messages.
    Social Science Computer Review, Vol. 43 (pp 1181-1195)
  • Trans, M., Beraldo, D., Draisci, L., Afsahi, L., Brennan, M., Goldschmitt, V., Grendarova, T., Hamilton, H., Keskin, M., Papasokratous, M., Rossetti, G., Webb, M., Williams, J., Xu, H. (2024) APIcalypse Now: Redefining data access regimes in the face of the Digital Services Act.
    Digital Methods Initiative.
  • Trautwein, M.H., Adriaans, P.W., Vervoort, M.R. (2000) Towards high speed grammar induction on large text corpora.
    Lecture Notes in Computer Science, Vol. 1963 (pp 173-186)
    Article | UvA-DARE
  • Trautwein, M.H., Torenvliet, L. (1995) A Note on the Complexity of Restricted Attribute Value Grammars.
    In Proceedings CLIN V (pp 145-164)
    Chapter | UvA-DARE
  • Trautwein, M.H. (1995) The Complexity of Structure Sharing in Unification-Based Grammars.
    In Moll, Mark Andernach, Toine Nijholt, Anton (Eds.), Proceedings CLIN V (pp 165-180)
    Chapter | UvA-DARE
  • Trautwein, M.H. (1995) Sources of Complexity in Functional Grammar.
    In Trautwein, M.H. Fischer, S. (Eds.), Proceedings Accolade '95 (pp 141-151). Dutch Graduate School in Logic (OZSL).
    Chapter | UvA-DARE
  • Trautwein, M.H. (1995) Computational pitfalls in tractable grammatical formalisms.
    Thesis, fully internal | UvA-DARE
  • Trippas, Johanne R., Culpepper, J. Shane, Aliannejadi, Mohammad, Allan, James, Azzopardi, Leif, Eickhoff, Carsten, Kamps, J. (2025) Report from the 4th Strategic Workshop on Information Retrieval in Lorne (SWIRL 2025).
    SIGIR Forum, Vol. 59
  • Troelstra, A.S., Schwichtenberg, H. (1996) Basic Proof Theory.
    Cambridge University Press.
    Book | UvA-DARE
  • Troelstra, A.S., Schwichtenberg, H. (2000) Basic Proof Theory (ed. 2).
    Cambridge University Press.
    Book | UvA-DARE
  • Troelstra, A.S. (1994) Tutorial on linear logic.
    In Schroeder-Heister, P. Dusen, K. (Eds.), Substructural logics (pp 327-355). Springer Verlag.
    Chapter | UvA-DARE
  • Troelstra, A.S. (1995) Natural deduction for intuitionistic linear logic.
    Annals of Pure and Applied Logic, Vol. 73 (pp 79-108)
  • Troelstra, A.S. (1995) Structurele Bewijstheorie.
    Verslagen van de Afdeling Natuurkunde van de KNAW, Vol. 104 (pp 113-117)
    Article | UvA-DARE
  • Troelstra, A.S. (1996) Choice sequences: a retrospect.
    CWI Quarterly, Vol. 9 (pp 143-149)
    Article | UvA-DARE
  • Troelstra, A.S. (1998) Marginalia on the sequent calculus.
    ML-1998. WINS (oud WINS).
    Report | UvA-DARE
  • Troelstra, A.S. (1998) Concepts and Axioms.
    In Philosophia Mathematica, series 3 (pp 195-208) (-)
    Chapter | UvA-DARE
  • Troelstra, A.S. (1998) Realizability.
    In Buss, S. (Eds.), Handbook of proof theory (pp ---) (-). North-Holland/ Elsevier.
    Chapter | UvA-DARE
  • Troelstra, A.S. (1999) From constructivism to computer science.
    Theoretical Computer Science, Vol. 211 (pp 233-252)
  • Troelstra, A.S. (1999) Marginalia on sequent calculi.
    Studia Logica, Vol. 62 (pp 291-303)
    Article | UvA-DARE
1 ... 267 268 269 270 271 272 273 274 275 ... 340

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