Hendriks, Alex (1952-2023)
bron: https://www.illc.uva.nl/NewsandEvents/News/Obituaries/Lex-Hendriks-1952---2023-/
| rdfs:label | "Hendriks, Alex (1952-2023)" |
| schema:name | "Alex Hendriks" |
|
schema:family |
"Hendriks" |
|
schema:given |
"Alex" |
|
schema:alternate |
"Hendriks, A." |
| schema:description | "bron: https://www.illc.uva.nl/NewsandEvents/News/Obituaries/Lex-Hendriks-1952---2023-/" |
| "wiskundige ILLC" | |
| schema:nationality | "nl" |
|
schema:birth |
"1952" |
|
schema:death |
"2023" |
|
schema:same |
wd:Q102182958 |
|
<http:/ |
|
|
<https:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Hendriks, Alex (1952-2023)
Characterization of strongly equivalent logic programs in intermediate logics / Lex Hendriks, Dick de Jonghschema:ProductModel
Computations in propositional logic / Alex Hendriksschema:ProductModel
Finitely generated Magari algebras and arithmetic / Lex Hendriks, Dick de Jonghschema:ProductModel
Intuitionistic propositional logic with only equivalence has no interpolation / Lex Hendriksschema:ProductModel
Inventory of fragments and exact models in intuitionistic propositional logic / Lex Hendriksschema:ProductModel