Items where Author is "de Lavalette, Gerard R. Renardel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Report
Number of items: 3.

Report

PP-2010-20: de Lavalette, Gerard R. Renardel and Hendriks, Lex and de Jongh, Dick (2010) Intuitionistic implication without disjunction. [Report]

CT-1990-02: van Denneheuvel, Sieger and de Lavalette, Gerard R. Renardel (1990) A Normal Form for PCSJ Expressions. [Report]

CT-1988-04: de Jongh, Dick and Hendriks, Lex and de Lavalette, Gerard R. Renardel (1988) Computations in Fragments of Intuitionistic Propositional Logic. [Report]

This list was generated on Tue Mar 31 00:31:12 2020 CEST.