Items where Author is "Kalsbeek, Marianne"

Report

CT-1995-01: Kalsbeek, Marianne and Jiang, Yuejun (1995) A Vademecum of Ambivalent Logic. [Report]

CT-1994-12: Kalsbeek, Marianne (1994) Gentzen Systems for Logic Programming Styles. [Report]

CT-1993-01: Kalsbeek, Marianne (1993) The Vanilla Meta-Interpreter for Definite Logic Programs and Ambivalent Syntax. [Report]

X-1989-01: Kalsbeek, Marianne (1989) An Orey Sentence for Predicative Arithmetic. [Report]

Thesis

DS-1995-13: Kalsbeek, Marianne (1995) Meta-Logics for Logic Programming. Doctoral thesis, University of Amsterdam.