Search the dblp DataBase
Lex Hendriks: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Lex Hendriks
Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic. [Citation Graph (0, 0)][DBLP]
Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:97-112 [Journal] - Dick de Jongh, Lex Hendriks
Characterization of Strongly Equivalent Logic Programs in Intermediate Logics [Citation Graph (0, 0)][DBLP]
CoRR, 2002, v:0, n:, pp:- [Journal] - Dick de Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette
Computations in Fragments of Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1991, v:7, n:4, pp:537-561 [Journal] - Lex Hendriks
Effective Logic Computation, Klaus Truemper. [Citation Graph (0, 0)][DBLP]
Journal of Logic, Language and Information, 1999, v:8, n:4, pp:481-484 [Journal] - Lex Hendriks
Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 1998, v:8, n:4, pp:589-593 [Journal] - Dick de Jongh, Lex Hendriks
Characterization of strongly equivalent logic programs in intermediate logics. [Citation Graph (0, 0)][DBLP]
TPLP, 2003, v:3, n:3, pp:259-270 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002