| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 6 |      | Dick De Jongh, Lex Hendriks: Characterization of strongly equivalent logic programs in intermediate logics. TPLP 3(3): 259-270 (2003) |
| 2002 | ||
| 5 | | 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 (Dick De Jongh) | [1] [5] [6] |
| 2 | Gerard R. Renardel de Lavalette | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page