Ricardo Caferra

Identifiers

• name variant Ricardo Caferra 0.60 · backfill

Papers (3)

1. Decidability and Undecidability Results for Propositional Schemata cs.LO · 2014 · author #2
2. Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version) cs.LO · 2011 · author #2
3. A Decidable Class of Nested Iterated Schemata (extended version) cs.LO · 2010 · author #2

Mentions

• 1401.3900 #2 · backfill · confidence 0.70 Ricardo Caferra
• 1102.2174 #2 · backfill · confidence 0.70 Ricardo Caferra
• 1001.4251 #2 · backfill · confidence 0.70 Ricardo Caferra

Frequent Coauthors

• Nicolas Peltier 3 shared papers
• Vincent Aravantinos 3 shared papers