Sorin Stratulat | DeepAI

DeepAI

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

research

∙ 09/07/2021

E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning

Checking the soundness of cyclic induction reasoning for first-order log...

0 Sorin Stratulat, et al. ∙

research

∙ 10/17/2018

Validating Back-links of FOLID Cyclic Pre-proofs

Cyclic pre-proofs can be represented as sets of finite tree derivations ...

0 Sorin Stratulat, et al. ∙