Alain Giorgetti
5
Documents
Publications
- 5
- 5
- 4
- 1
- 1
- 1
- 2
- 2
|
A rule-based system for automatic decidability and combinabilityScience of Computer Programming, 2015, Selected Papers from the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012), 99, pp.3-23. ⟨10.1016/j.scico.2014.02.005⟩
Article dans une revue
hal-01102883v1
|
|
Automatic Decidability for Theories with Counting OperatorsAutomated Deduction: Decidability, Complexity, Tractability (workshop ADDCT), Jun 2013, Lake Placid, United States
Communication dans un congrès
hal-00920496v1
|
Automatic Decidability: A Schematic Calculus for Theories with Counting OperatorsRTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.303-318, ⟨10.4230/LIPIcs.RTA.2013.303⟩
Communication dans un congrès
hal-00878657v1
|
|
A Rule-Based Framework for Building Superposition-Based Decision ProceduresWRLA 2012 - 9th International Workshop on Rewriting Logic and Its Applications, Mar 2012, Tallinn, Estonia. pp.221-239, ⟨10.1007/978-3-642-34005-5_12⟩
Communication dans un congrès
hal-00749576v1
|
|
Automatic Decidability for Theories Modulo Integer Offsets[Research Report] RR-8139, INRIA. 2012, pp.20
Rapport
hal-00753896v1
|