Items where Author is "Kalsbeek, Marianne"

Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 5.

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.

This list was generated on Fri Mar 29 00:30:42 2024 CET.