1993-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1993-report.cite -ob 1993-report.bib -c 'year = 1993 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{Val93,
  author = {Val Breazu-Tannen and Delia Kesner and Laurence Puel},
  topics = {team, cclserver, lri},
  title = {A typed pattern calculus},
  institution = {Laboratoire de Recherche en Informatique},
  ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/pattern-calculus.ps.gz},
  year = 1993,
  number = 878,
  address = {Univ. Paris-Sud, France},
  type_publi = {interne}
}

@techreport{boudet93rr,
  author = { Boudet, Alexandre and Comon, Hubert},
  topics = {team, lri},
  title = {About The Theory Of Tree Embedding},
  institution = {Laboratoire de Recherche en Informatique},
  number = {870},
  year = {1993},
  type_publi = {interne}
}

@techreport{comon93lpo,
  author = {Hubert Comon and Ralf Treinen},
  topics = {team, lri, constraints},
  location = {HC},
  title = {The First-Order Theory of Lexicographic Path
		 	Orderings is Undecidable},
  institution = {{Deutsches Forschungszentrum f{\"u}r K{\"u}nstliche
			Intelligenz}},
  address = {{Stuhlsatzenhausweg 3, D-66123 Saarbr{\"u}cken, Germany}},
  type = {Research Report},
  number = {RR-93-42},
  year = 1993,
  month = sep,
  type_publi = {diffusion}
}

@techreport{comon93rra,
  author = {Hubert Comon and Ralf Treinen},
  topics = {team, lri},
  title = {The First-Order Theory Of Lexicographic Path Orderings
           Is Undecidable},
  number = {867},
  year = {1993},
  institution = {Laboratoire de Recherche en Informatique},
  type_publi = {interne}
}

@techreport{comon93rrb,
  author = { Comon, Hubert and Jacquemard, Florent},
  topics = {team, lri},
  title = {Ground Reducibility And Automata With Disequality Constraints},
  number = {868},
  year = {1993},
  institution = {Laboratoire de Recherche en Informatique},
  type_publi = {interne}
}

@techreport{comon93rrc,
  author = { Comon, Hubert},
  topics = {team, lri},
  title = {Constraints In Term Algebras (Short Survey)},
  number = {869},
  year = {1993},
  institution = {Laboratoire de Recherche en Informatique},
  type_publi = {interne}
}

@techreport{dicosmo93inria,
  author = {Di Cosmo, Roberto and Delia Kesner},
  topics = {teamnop},
  title = {Simulating expansions without expansions},
  institution = {INRIA Rocquencourt},
  number = 1991,
  year = 1993,
  type_publi = {diffusion}
}

@techreport{fernandez93rr,
  author = {Maribel Fern{\'a}ndez},
  topics = {team, complement problems, lri},
  location = {biblio-equipe},
  title = {{AC}-{C}omplement {P}roblems: {S}atisfiability and
                  {N}egation {E}limination},
  institution = {Laboratoire de Recherche en Informatique},
  year = 1993,
  type = {Research Report},
  number = 839,
  address = {Univ. Paris-Sud},
  type_publi = {interne}
}

@techreport{fernandez93rra,
  author = {Maribel Fern{\'a}ndez and Jean-Pierre Jouannaud},
  topics = {teamnop, reecriture},
  title = {Modularity Properties of Term rewriting Systems
		  Revisited},
  institution = {Laboratoire de Recherche en Informatique},
  year = 1993,
  number = 875,
  month = nov,
  type_publi = {interne}
}

@techreport{jouannaud93rr,
  author = {Jouannaud, J.-P.},
  topics = {team, lri},
  title = {Rewrite Proofs And Computations},
  number = {880},
  year = {1993},
  institution = {Laboratoire de Recherche en Informatique},
  type_publi = {interne}
}