Dick De Jongh

2005
7	EE	Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou: Properties of Intuitionistic Provability and Preservativity Logics. Logic Journal of the IGPL 13(6): 615-636 (2005)
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)
1996
4	EE	Dick De Jongh, Makoto Kanazawa: Angluin's Theorem for Indexed Families of r.e. Sets and Applications. COLT 1996: 193-204
1995
3		Dick De Jongh, L. A. Chagrova: The Decidability of Dependency in Intuitionistic Propositional Logic. J. Symb. Log. 60(2): 498-504 (1995)
1991
2		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)
1974
1		Dov M. Gabbay, Dick De Jongh: A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. J. Symb. Log. 39(1): 67-78 (1974)

Coauthor Index

1	Lilia Chagrova (L. A. Chagrova)	[3]
2	Dov M. Gabbay	[1]
3	Lex Hendriks	[2] [5] [6]
4	Rosalie Iemhoff	[7]
5	Makoto Kanazawa	[4]
6	Gerard R. Renardel de Lavalette	[2]
7	Chunlai Zhou	[7]

Colors in the list of coauthors