Selected publications at LSV: 1998

@inproceedings{comon98lics,
   address = {Indianapolis, Indiana, USA},
   author = {Comon, Hubert and Narendran, Paliath and Nieuwenhuis, Robert and Rusinowitch, Micha{\"e}l},
   booktitle = {{P}roceedings of the 13th {A}nnual {IEEE} {S}ymposium on {L}ogic in {C}omputer {S}cience ({LICS}'98)},
   month = jun,
   pages = {276-286},
   publisher = {{IEEE} Computer Society Press},
   title = {Decision Problems in Ordered Rewriting},
   url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/CNNR-lics98.ps},
   year = {1998},
}

About LSV