Search

Your search keyword '"E. Freire"' showing total 1 results
Start Over Author "E. Freire" Publication Type eBooks
1 results on '"E. Freire"'

1. On the Strong Co–induction in Coq

Author

Nistal, J. L. Freire, Ferro, A. Blanco, Gulías, Victor M., Brañas, E. Freire, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Moreno-Díaz, Roberto, editor, and Pichler, Franz, editor

Published
2003
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results