Arve Gengelbach

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 6

Top Topics

Top Venues

Publications

Arve Gengelbach, Johannes Åman Pohjola
A Verified Cyclicity Checker: For Theories with Overloaded Constants. ITP (2022)
Arve Gengelbach, Tjark Weber
Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading. ICTAC (2020)
Arve Gengelbach, Johannes Åman Pohjola, Tjark Weber
Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading. LFMTP (2020)
Johannes Åman Pohjola, Arve Gengelbach
A Mechanised Semantics for HOL with Ad-hoc Overloading. LPAR (2020)
Johannes Åman Pohjola, Arve Gengelbach
A Mechanised Semantics for HOL with Ad-hoc Overloading. CoRR (2020)
Arve Gengelbach, Tjark Weber
Model-Theoretic Conservative Extension for Definitional Theories. LSFA (2017)