Items where Author is "Kalsbeek, Marianne"

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


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]

This list was generated on Tue Oct 26 00:30:27 2021 CEST.