Computer Aided Systems Theory - EUROCAST 2009
Springer Berlin Heidelberg
Chapter title |
The Foldl Operator as a Coequalizer Using Coq
|
---|---|
Chapter number | 23 |
Book title |
Computer Aided Systems Theory - EUROCAST 2009
|
Published by |
Springer, Berlin, Heidelberg, February 2009
|
DOI | 10.1007/978-3-642-04772-5_23 |
Book ISBNs |
978-3-64-204771-8, 978-3-64-204772-5
|
Authors |
Antonio Blanco, Enrique Freire, Jose Luis Freire, Javier Paris, Blanco, Antonio, Freire, Enrique, Freire, Jose Luis, Paris, Javier |