Search Results for Jouannaud, Jean-Pierre.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dJouannaud$00252C$002bJean-Pierre.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list2024-10-02T16:24:56ZRewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1867592024-10-02T16:24:56Z2024-10-02T16:24:56ZAuthor Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73147-4">http://dx.doi.org/10.1007/978-3-540-73147-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959292024-10-02T16:24:56Z2024-10-02T16:24:56ZAuthor Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25379-9">http://dx.doi.org/10.1007/978-3-642-25379-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1842592024-10-02T16:24:56Z2024-10-02T16:24:56ZAuthor Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>