Sulfur: a Reflective Tactic for Substitution Simplification

HAL (Le Centre pour la Communication Scientifique Directe) 2026 Open access

Read full text
Authors: Mathis Bouverot-Dupuis, Théo Winterhalter, Kathrin Stark, Kenji Maillard
Cited by: 0

Fields of Study & Subjects

Polynomial and algebraic computation Logic programming and type systems Synthesis and Reactivity of Sulfur-Containing Compounds

Publication details

Journal / source
HAL (Le Centre pour la Communication Scientifique Directe)
Publication date
11 January 2026
Language
EN