Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-12 of 12 results for author "Comon, Hubert."
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud (eds).
- Text
- Berlin ; New York : Springer Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1121 Offsite Rewriting techniques and applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings / Hubert Comon (ed.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-879 Offsite Constraints in computational logics : theory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures / Hubert Comon, Claude Marché, Ralf Treinen (eds.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Available Online
http://link.springer-ny.com/link/service/series/0558/tocs/t2002.htmItem details Format Call Number Item Location Text JSE 01-395 Offsite Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.).
- Text
- Berlin : Springer, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1799 Offsite Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Common, Jean-Pierre Jouannaud, eds.
- Text
- Berlin ; New York : Springer Verlag, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .F74 1993 Off-site Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 1997 : proceedings / Hubert Comon (ed.).
- Text
- Berlin ; New York : Springer, [1997], ©1997.
- 1997-1997
- 1 Item
Item details Format Call Number Item Location Text QA267 .I555 1997 Off-site Constraints in computational logics : theory and applications / Hubert Comon, Claude Marché, Ralf Treinen (eds.).
- Text
- Berlin ; New York : Springer, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA76.612 .C693 2001 Off-site Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.).
- Text
- Berlin ; New York : Springer, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA76.76.V47 C38 2001 Off-site Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Item details Format Call Number Item Location Text QA267 .R4737 2007g Off-site Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings / Hubert Comon (ed.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA267 .R48 1997 Off-site Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Common, Jean-Pierre Jouannaud, eds.
- Text
- Berlin ; New York : Springer Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .F74 1993 Off-site Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Common, Jean-Pierre Jouannaud, eds.
- Text
- Berlin ; New York : Springer Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .F74 1993 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
