Lex Hendriks

	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)

Coauthor Index

1	Dick De Jongh	[1] [5] [6]
2	Gerard R. Renardel de Lavalette	[1]