Sign in

A Decision Procedure for Restricted Intensional Sets.

Maximiliano CristiáGianfranco Rossi
Published in: CADE (2017)
Keyphrases