Ricardo Caferra | DeepAI

DeepAI

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

Featured Co-authors

Nicolas Peltier
19 publications
Vincent Aravantinos
8 publications

research

∙ 01/16/2014

Decidability and Undecidability Results for Propositional Schemata

We define a logic of propositional formula schemata adding to the syntax...

0 Vincent Aravantinos, et al. ∙

research

∙ 02/10/2011

Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)

This paper relates the well-known Linear Temporal Logic with the logic o...

0 Vincent Aravantinos, et al. ∙

research

∙ 01/24/2010

A Decidable Class of Nested Iterated Schemata (extended version)

Many problems can be specified by patterns of propositional formulae dep...

0 Vincent Aravantinos, et al. ∙