default search action

combined dblp search
author search
venue search
publication search

ask others

Lex Hendriks

Alex Hendriks

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/LavaletteHJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/LavaletteHJ12
Gerard R. Renardel de Lavalette, Alex Hendriks, Dick de Jongh:
Intuitionistic implication without disjunction. J. Log. Comput. 22(3): 375-404 (2012)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2003
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/JonghH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/JonghH03
Dick De Jongh, Lex Hendriks:
Characterization of strongly equivalent logic programs in intermediate logics. Theory Pract. Log. Program. 3(3): 259-270 (2003)
2002
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0206005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0206005
Dick De Jongh, Lex Hendriks:
Characterization of Strongly Equivalent Logic Programs in Intermediate Logics. CoRR cs.LO/0206005 (2002)
2000
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Hendriks00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Hendriks00
Lex Hendriks:
Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic. Ann. Pure Appl. Log. 104(1-3): 97-112 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Hendriks99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Hendriks99
Lex Hendriks:
Effective Logic Computation, Klaus Truemper. J. Log. Lang. Inf. 8(4): 481-484 (1999)
1998
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Hendriks98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Hendriks98
Lex Hendriks:
Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation. J. Log. Comput. 8(4): 589-593 (1998)
1991
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/JonghHL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/JonghHL91
Dick De Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette:
Computations in Fragments of Intuitionistic Propositional Logic. J. Autom. Reason. 7(4): 537-561 (1991)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.