| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 11 |       | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Linear Temporal Logic and Propositional Schemata, Back and Forth. TIME 2011: 80-87 |
| 10 | | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version) CoRR abs/1102.2174: (2011) |
| 8 | | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Decidability and Undecidability Results for Propositional Schemata. J. Artif. Intell. Res. (JAIR) 40: 599-656 (2011) |
| 7 | | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: A Decidable Class of Nested Iterated Schemata. IJCAR 2010: 293-308 |
| 6 | | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: RegSTAB: A SAT Solver for Propositional Schemata. IJCAR 2010: 309-315 |
| 5 | | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Complexity of the Satisfiability Problem for a Class of Propositional Schemata. LATA 2010: 58-69 |
| 4 | | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Simplified handling of iterated term schemata. Ann. Math. Artif. Intell. 58(3-4): 155-183 (2010) |
| 3 | | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: A Decidable Class of Nested Iterated Schemata (extended version) CoRR abs/1001.4251: (2010) |
| 2 | | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: A Schemata Calculus for Propositional Logic. TABLEAUX 2009: 32-46 |
| 1 | | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: More Flexible Term Schematisations via Extended Primal Grammars. ISAIM 2008 |
Selection of 10 from 12 records - Vincent Aravantinos has 2 coauthors
Last update 2012-02-16 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page