Selected publications by Hubert Comon-Lundh

@inproceedings{cj-csl97,
   address = {{\AA}rhus, Denmark},
   author = {Comon, Hubert and Jurski, Yan},
   booktitle = {{S}elected {P}apers from the 11th {I}nternational {W}orkshop on {C}omputer {S}cience {L}ogic ({CSL}'97)},
   editor = {Nielsen, Mogens and Thomas, Wolfgang},
   pages = {157-176},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Higher-Order Matching and Tree Automata},
   url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/CJ-csl97.pdf},
   volume = {1414},
   year = {1998},
}

About LSV