Concepedia

Hendrik Hilberdink

HH

Statistics

Publications

1

Citations

24

H-Index

1

Active since

1992

Affiliations

Oxford Research Group(Current)

Hendrik Hilberdink is an author at Oxford Research Group specializing in proof theory, formal methods, and humanities.

Publications per year

1992–1992

1

Publications

1

2OBJ: a metalogical framework theroem prover based on equational logic

Joseph A. Goguen, Andrew Stevens, Hendrik Hilberdink et al. · Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences · 1992 · 24 citations

, , +17

1–1 of 1