uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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
  • 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
  • Troelstra, A.S. (2000) Ware en Gevoelige Verhalen.
    Technical Report. Institute for Logic Language and Computation.
    Report | UvA-DARE
  • Troelstra, A.S. (2001) Honderd jaar keuzenrijen.
    Verslagen van de Afdeling Natuurkunde van de KNAW, Vol. 110 (pp 223-227)
    Article | UvA-DARE
  • Troelstra, A.S. (2004) Vriendenboek ofwel liber amicorum ter gelegenheid van het afscheid van Dick de Jongh.
    Institute for Logic, Language and Computation.
    Book (Editorship) | UvA-DARE
  • Troelstra, A.S. (2004) Tijgers op de Ararat.
    Atlas.
    Book | UvA-DARE
  • Troelstra, A.S. (2005) Proof Theory and Constructive Mathematics.
    In Mathematics: History,Concepts, and Foundations, from /Encyclopedia of Life Support Systems (EOLSS). Eolss Publishers.
    Chapter | UvA-DARE
1 ... 242 243 244 245 246 247 248 249 250 ... 311

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