uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Hemaspaandra, L.A., Torenvliet, L. (2002) Theory of Semi-Feasible Algorithms.
    EATCS Monographs in Theoretical Computer Science. Springer-Verlag.
    Book | UvA-DARE
  • Hemaspaandra, L.A., Torenvliet, L. (2006) P-Selectivity, Immunity, and the power of one bit.
    Lecture Notes in Computer Science, Vol. 3831 (pp 323-331)
    Article | UvA-DARE
  • Hemaspaandra, L.A., Torenvliet, L. (2010) Theory of semi-feasible algorithms.
    Monographs in Theoretical Computer Science: an EATCS Series. Springer.
    Book | UvA-DARE
  • Henderson, J., Merlo, P., Titov, I., Musillo, G. (2013) Multilingual Joint Parsing of Syntactic and Semantic Dependencies with a Latent Variable Model.
    Computational Linguistics, Vol. 39 (pp 949-998)
  • Hendriks, A., de Jongh, D. (1996) Finitely generated Magari algebras and arithmetic.
    In Agliano, P. Ursini, A. (Eds.), Logic and algebra (pp 137-160). Marcel Dekker, Inc..
    Chapter | UvA-DARE
  • Hendriks, A., de Jongh, D. (2001) Characterization of strongly equivalent logic programs in intermediate logics.
    PP series ILLC. Institute for Logic Language and Computation.
    Working paper | UvA-DARE
  • Hendriks, A. (1996) Computations in Propositional Logic.
    Thesis, fully internal | UvA-DARE
  • Hendriks, A. (1999) System Description: Akka, A workbench for Mathematical Logic.
    In de Rijke, M. (Eds.), M4M. Methods for Modalities 1. ILLC.
    Chapter | UvA-DARE
  • Hendriks, A. (1999) Effective Logic Computation, Klaus Truemper [Review of: (1999) Effective Logic Computation].
    Journal of Logic, Language and Information, Vol. 8
    Book/Film/Article/Exhibition review | UvA-DARE
  • Hendriks, A. (2000) Doing logic by computer: interpolation in fragments of intuitionistic propositional logic.
    Annals of Pure and Applied Logic, Vol. 104 (pp 97-112)
  • Hendriks, A. (2001) Explorations in extensions of intuitionistic propositional logic.
    In de Rijke, M. e.a. (Eds.), Workshop Proceedings Methods for Modalities 2. Amsterdam University Press.
    Conference contribution | UvA-DARE
  • Hendriks, A. (2004) Explorations and Computations in bidirectional intuitionistic propositional Logic.
    In Liber Amicorum voor Dick de Jongh. Amsterdam University Press.
    Conference contribution | UvA-DARE
  • Hendriks, H.L.W. (1993) Studied flexibility : categories and types in syntax and semantics.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Hendriks, H.L.W. (1999) Contour and Structure. A Categorial Account of Alignment.
    In Kruijff, G.--J. Bouma, G. Hinrichs, E. Oehrle, R. (Eds.), Constraints and Resources in Natural Syntax and Semantics (pp 155-174). CSLI Publications.
    Chapter | UvA-DARE
  • Hendriks, H.L.W. (1999) Encoding Atomic Categories: Rendering It Strictly Directed.
    In Gerbrandy, J. Marx, M. de Rijke, M. Venema, Y. (Eds.), CD-ROM JFAK, Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers AUP.
    Chapter | UvA-DARE
  • Hendriks, H.L.W. (1999) Indirect Speech Acts. Politeness and the Civilizing Process.
    In van Kuppevelt, J. van Leusen, N. van Rooy, R. Zeevat, H. (Eds.), Proceedings of Amstellogue '99 (pp 53-57). ILLC.
    Conference contribution | UvA-DARE
  • Hendriks, H.L.W. (1999) The Logic of Tune. A Proof-Theoretic Analysis of Intonation.
    In Lecomte, A. (Eds.), LACL 97. Logical Aspects of Cumputational Linguistics (pp 132-159) (LNCS-LNAI Series). Springer Verlag.
    Chapter | UvA-DARE
  • Hendriks, H.L.W. (2000) Compositionality and Model-Theoretic Interpretation.
    Journal of Logic, Language and Information, Vol. 9 (pp 419-438)
    Article | UvA-DARE
  • Hendriks, H.L.W. (2001) Compositionality and model-theoretic interpretation.
    Journal of Logic, Language and Information, Vol. 10 (pp 29-48)
    Article | UvA-DARE
  • Hendriks, H.L.W. (2001) Information packaging: From cards to boxes.
    In Hamm, F. Zimmermann, Th.E. (Eds.), Linguistische Berichte Sonderheft 10: Semantics (pp 165-189). Helmut Buske Verlag.
    Chapter | UvA-DARE
1 ... 144 145 146 147 148 149 150 151 152 ... 346

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