Detail

Publication date: 01/08/2009

Type parametric compilation of algebraic constraints

Authors

Marco Correia, L. Seabra Lopes, Pedro Barahona, Nuno Lau,

Publisher Springer
Series Lecture Notes in Computer Science
Volume 5816
ISBN 978-3-642-04685-8
Publisher Springer
Series Lecture Notes in Computer Science
Volume 5816
ISBN 978-3-642-04685-8