Tjark Weber | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Marcus Völp
10 publications
Johannes Borgström
4 publications
Johannes Åman Pohjola
3 publications
Hendrik Tews
2 publications
Arve Gengelbach
2 publications
Joachim Parrow
1 publication
Lars-Henrik Eriksson
1 publication
Ramūnas Gutkovas
1 publication

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

∙ 04/04/2019

Modal Logics for Nominal Transition Systems

We define a general notion of transition system where states and action ...

0 Joachim Parrow, et al. ∙

research

∙ 11/27/2012

On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code

In recent projects on operating-system verification, C and C++ data type...

0 Hendrik Tews, et al. ∙