Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

Dr. A. (Lex) Hendriks

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC

Bezoekadres
  • Science Park 105
  • Kamernummer: F2.08
Postadres
  • Postbus 94242
    1090 GE Amsterdam
  • Publicaties

    2010

    2003

    • de Jongh, D. H. J., & Hendriks, A. (2003). Characterization of strongly equivalent logic programs in intermediate logics. Theory and Practice of Logic Programming, (3), 259-270. [details]

    2000

    1996

    • Hendriks, A., & de Jongh, D. H. J. (1996). Finitely generated Magari algebras and arithmetic. In P. Agliano, & A. Ursini (Eds.), Logic and algebra (pp. 137-160). New York, Basel, Hong Kong: Marcel Dekker, Inc.. [details]

    2004

    • Hendriks, A. (2004). Explorations and Computations in bidirectional intuitionistic propositional Logic. In Liber Amicorum voor Dick de Jongh Amsterdam: Amsterdam University Press. [details]

    2001

    • Hendriks, A. (2001). Explorations in extensions of intuitionistic propositional logic. In M. de Rijke, & e.a. (Eds.), Workshop Proceedings Methods for Modalities 2 Amsterdam: Amsterdam University Press. [details]

    1999

    • Hendriks, A. (1999). Effective Logic Computation, Klaus Truemper [Review of: (1999) Effective Logic Computation]. Journal of Logic, Language and Information, 8(4). [details]
    • Hendriks, A. (1999). System Description: Akka, A workbench for Mathematical Logic. In M. de Rijke (Ed.), M4M. Methods for Modalities 1 Amsterdam: ILLC. [details]

    1996

    • Hendriks, A. (1996). Computations in Propositional Logic. [details]
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Nevenwerkzaamheden
    Geen nevenwerkzaamheden