Arve Gengelbach | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Tjark Weber
3 publications
Johannes Åman Pohjola
3 publications

research

∙ 01/11/2021

Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading

Definitions of new symbols merely abbreviate expressions in logical fram...

0 Arve Gengelbach, et al. ∙

research

∙ 02/24/2020

A Mechanised Semantics for HOL with Ad-hoc Overloading

Isabelle/HOL augments classical higher-order logic with ad-hoc overloadi...

0 Johannes Åman Pohjola, et al. ∙