dblp.uni-trier.dewww.uni-trier.de

Sylvain Lebresne

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
2EESylvain Lebresne: A System F with Call-by-Name Exceptions. ICALP (2) 2008: 323-335
2005
1EEPascal Berthomé, Sylvain Lebresne, Kim Nguyen: Computation of Chromatic Polynomials Using Triangulations and Clique Trees. WG 2005: 362-373

Coauthor Index

1Pascal Berthomé [1]
2Kim Nguyen [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)