Login / Signup
Alex Hendriks
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Theorem Prover
Functional Dependencies
Fuzzy Relations
Relational Databases
Top Venues
J. Log. Comput.
</>
Publications
</>
Gerard R. Renardel de Lavalette
,
Alex Hendriks
,
Dick de Jongh
Intuitionistic implication without disjunction.
J. Log. Comput.
22 (3) (2012)