2001-journal.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2001-journal.cite -ob 2001-journal.bib -c 'year = 2001 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@article{seynhaeve01tcs,
  author = {Franck Seynhaeve and Sophie Tison and Marc Tommasi
                         and Ralf Treinen},
  title = {Grid Structures and Undecidable Constraint Theories},
  topics = {team, lri, cclserver},
  journal = {Theoretical Computer Science},
  volume = 258,
  number = {1--2},
  year = 2001,
  month = may,
  pages = {453--490},
  type_publi = {irevcomlec},
  comment = {this reference used to be called seynhaeve00tcs}
}

@article{Bonelli01,
  author = {Eduardo  Bonelli},
  title = {Perpetuality in a named lambda calculus with
                 explicit substitutions},
  journal = {Mathematical Structures in Computer Science},
  volume = 11,
  number = 1,
  type_publi = {irevcomlec},
  topics = {team},
  year = 2001
}

@article{bouhoula00ic,
  author = {Adel Bouhoula and Jean-Pierre Jouannaud},
  title = {Automata-Driven Automated Induction},
  journal = {Information and Computation},
  year = 2001,
  volume = 169,
  number = 1,
  page = {1--22},
  topics = {rewriting, team, cclserver, LRI},
  type_publi = {irevcomlec},
  ftp = {ftp://ftp.lri.fr/LRI/articles/jouannaud/adai.ps.gz},
  abstract = {http://www.lri.fr/~jouannau/abstracts/adai.html}
}

@article{guillaume01,
  author = {R. David and B. Guillaume},
  title = {A $\lambda$-calculus with explicit weakening
                  and explicit substitution },
  journal = {Mathematical Structures in Computer Science},
  type_publi = {irevcomlec},
  year = 2001,
  volume = 11,
  number = 1,
  topics = {team}
}

@article{treinen01dmtcs,
  author = {Martin M{\"u}ller and Joachim Niehren and Ralf Treinen},
  title = {The First-Order Theory of Ordering Constraints over
			Feature Trees},
  topics = {team, lri, cclserver, constraints, features},
  type_publi = {irevcomlec},
  journal = {Discrete Mathematics and Theoretical Computer Science},
  year = 2001,
  month = sep,
  volume = 4,
  number = 2,
  pages = {193--234},
  url = {http://dmtcs.loria.fr/volumes/abstracts/ps.gzpapers/dm040211.ps.gz}
}