Elena Tushkanova

According to our database, Elena Tushkanova authored at least 5 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A rule-based system for automatic decidability and combinability.

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko

Sci. Comput. Program., 2015

2013

Schematic calculi for the analysis of decision procedures. (Calculs schématiques pour l'analyse de procédures de décision).

Elena Tushkanova

PhD thesis, 2013

Automatic Decidability: A Schematic Calculus for Theories with Counting Operators.

Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

A Rule-Based Framework for Building Superposition-Based Decision Procedures.

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

2010

Specifying generic Java programs: two case studies.

Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010