Accéder directement au contenu

Alain Giorgetti

5
Documents

Publications

"christophe-ringeissen"
Image document

A rule-based system for automatic decidability and combinability

Elena Tushkanova , Alain Giorgetti , Christophe Ringeissen , Olga Kouchnarenko
Science 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
Image document

Automatic Decidability for Theories with Counting Operators

Elena Tushkanova , Christophe Ringeissen , Alain Giorgetti , Olga Kouchnarenko
Automated 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 Operators

Elena Tushkanova , Christophe Ringeissen , Alain Giorgetti , Olga Kouchnarenko
RTA - 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 Procedures

Elena Tushkanova , Alain Giorgetti , Christophe Ringeissen , Olga Kouchnarenko
WRLA 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