Martin E. Bidlingmaier

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

research

∙ 02/11/2023

We describe an evaluation algorithm for relational Horn logic (RHL). RHL...

research

∙ 02/06/2023

We discuss the syntax and semantics of relational Horn logic (RHL) and p...

research

∙ 07/06/2020

Locally cartesian closed (lcc) categories are natural categorical models...

research

∙ 12/16/2019

The ALEA Coq library formalizes measure theory based on a variant of the...