| |
| 2003 | ||
|---|---|---|
| 6 | Dick De Jongh, Lex Hendriks: Characterization of strongly equivalent logic programs in intermediate logics. TPLP 3(3): 259-270 (2003) | |
| 2002 | ||
| 5 | EE | Dick De Jongh, Lex Hendriks: Characterization of Strongly Equivalent Logic Programs in Intermediate Logics CoRR cs.LO/0206005: (2002) |
| 2000 | ||
| 4 | Lex Hendriks: Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic. Ann. Pure Appl. Logic 104(1-3): 97-112 (2000) | |
| 1999 | ||
| 3 | Lex Hendriks: Effective Logic Computation, Klaus Truemper. Journal of Logic, Language and Information 8(4): 481-484 (1999) | |
| 1998 | ||
| 2 | Lex Hendriks: Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation. J. Log. Comput. 8(4): 589-593 (1998) | |
| 1991 | ||
| 1 | Dick De Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette: Computations in Fragments of Intuitionistic Propositional Logic. J. Autom. Reasoning 7(4): 537-561 (1991) | |
| 1 | Dick De Jongh | [1] [5] [6] |
| 2 | Gerard R. Renardel de Lavalette | [1] |