Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Hubert Comon | lit.salon

Author

Hubert Comon

8 works

1995–2007 across 7 dated works

No biography is available yet.

Start with

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 : Advanced Course (Lecture Notes in Computer Science)1995
Term rewriting: French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course1995
With French Spring School of Theoretical Computer Science (1993 Font-Romeu, France), Jean-Pierre Jouannaud
Rewriting techniques and applications: 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings1997
Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science)1997

Books

7 works

Featured (7)Featured (7)All (8)All (8)

Search booksSort books

Term rewriting: French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course1995
With French Spring School of Theoretical Computer Science (1993 Font-Romeu, France), Jean-Pierre Jouannaud
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Rewriting, computation and proof: essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday2007
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 : Advanced Course (Lecture Notes in Computer Science)1995
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Rewriting techniques and applications: 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings1997
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science)1997
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Constraints in Computational Logics : Theory and Applications International Summer School, CCL'99 Gif-Sur-Yvette, France, September 5-8, 1999 Revised Lectures2003
With Claude Marche, Ralf Treinen
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings2003
With Gerard Berry, Alain Finkel
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Hubert Comon.

The conversation is still open.

There is no public salon activity to show for Hubert Comon yet.