Publication
Detail
Publication date: 01/08/2009Type parametric compilation of algebraic constraints
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 |