Decidability Problems for Micro-Stipula.

Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro

Browse the full Coordination paper archive.