Lex Hendriks
Alex Hendriks
- 2012
[j6]
- 2003
[j5]
Dick De Jongh,
Lex Hendriks:
Characterization of strongly equivalent logic programs in intermediate logics. TPLP 3(3): 259-270 (2003)
- 2002
[i1]
- 2000
[j4]
Lex Hendriks:
Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic. Ann. Pure Appl. Logic 104(1-3): 97-112 (2000)
- 1999
[j3]
- 1998
[j2]
Lex Hendriks:
Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation. J. Log. Comput. 8(4): 589-593 (1998)
- 1991
[j1]
data released under the ODC-BY 1.0 license. See also our legal information page