František Farka | DeepAI

DeepAI

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

Featured Co-authors

Anindya Banerjee
12 publications
Aleksandar Nanevski
8 publications
Ignacio Fábregas
3 publications
Germán Andrés Delbianco
3 publications
Kevin Hammond
3 publications
Ekaterina Komendantskya
2 publications

research

∙ 10/23/2020

On Algebraic Abstractions for Concurrent Separation Logics

Concurrent separation logic is distinguished by transfer of state owners...

0 František Farka, et al. ∙

research

∙ 04/30/2018

Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis

First-order resolution has been used for type inference for many years, ...

0 František Farka, et al. ∙