H. Forssell
发表
Henrik Forssell,
H. Forssell,
2011,
Math. Log. Q..
H. Forssell,
2004
.
H. Forssell,
2004
.
H. Forssell,
Christian Esp'indola,
2017,
1709.05817.
H. Forssell,
P. Lumsdaine,
2016,
1604.03851.
H. Forssell,
S. Awodey,
2010
.
Henrik Forssell,
Daniel P. Lupp,
Martin G. Skjæveland,
2018,
SEMWEB.
Henrik Forssell,
Daniel P. Lupp,
Evgenij Thorstensen,
2017,
Description Logics.
Henrik Forssell,
Daniel P. Lupp,
Evgenij Thorstensen,
2017,
WOP@ISWC.
H. Forssell,
Arbeten I Matematik,
S. Przybyl,
2015
.
Henrik Forssell,
Steve Awodey,
Michael A. Warren,
2006
.
Henrik Forssell,
Peter LeFanu Lumsdaine,
H. Forssell,
2019,
The Journal of Symbolic Logic.