Login / Signup
Helmut Grohne
Publication Activity (10 Years)
Years Active: 2014-2017
Publications (10 Years): 1
Top Topics
Semantic Network
Natural Language
Multiscale
Domain Specific
Top Venues
J. Log. Algebraic Methods Program.
EDBT/ICDT Workshops
</>
Publications
</>
Helmut Grohne
,
Janis Voigtländer
Formalizing semantic bidirectionalization and extensions with dependent types.
J. Log. Algebraic Methods Program.
86 (1) (2017)
Helmut Grohne
,
Andres Löh
,
Janis Voigtländer
Formalizing Semantic Bidirectionalization with Dependent Types.
EDBT/ICDT Workshops
(2014)