@inproceedings{Aubert2014,
  author =        {Aubert, Clément and Bagnol, Marc},
  booktitle =     {RTA-TLCA},
  editor =        {Dowek, Gilles},
  pages =         {77--92},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Unification and Logarithmic Space},
  volume =        {8650},
  year =          {2014},
  doi =           {10.1007/978-3-319-08918-8_6},
  isbn =          {978-3-319-08917-1},
  archivePrefix = {arXiv},
  eprint =        {1402.4327},
  file = 		  {http://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_conf.tex},
  url = 		  {http://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_conf.pdf}
}

{"_id":"EDzXDAS2sKZS7xP86","bibbaseid":"aubert-bagnol-unificationandlogarithmicspace-2014","downloads":0,"creationDate":"2015-09-02T11:58:05.937Z","title":"Unification and Logarithmic Space","author_short":["Aubert, C.","Bagnol, M."],"year":2014,"bibtype":"inproceedings","biburl":"https://lacl.fr/~caubert/latex/Aubert_Clement_bib.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Aubert"],"firstnames":["Clément"],"suffixes":[]},{"propositions":[],"lastnames":["Bagnol"],"firstnames":["Marc"],"suffixes":[]}],"booktitle":"RTA-TLCA","editor":[{"propositions":[],"lastnames":["Dowek"],"firstnames":["Gilles"],"suffixes":[]}],"pages":"77–92","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Unification and Logarithmic Space","volume":"8650","year":"2014","doi":"10.1007/978-3-319-08918-8_6","isbn":"978-3-319-08917-1","archiveprefix":"arXiv","eprint":"1402.4327","file":"http://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_conf.tex","url":"http://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_conf.pdf","bibtex":"@inproceedings{Aubert2014,\n author = {Aubert, Clément and Bagnol, Marc},\n booktitle = {RTA-TLCA},\n editor = {Dowek, Gilles},\n pages = {77--92},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Unification and Logarithmic Space},\n volume = {8650},\n year = {2014},\n doi = {10.1007/978-3-319-08918-8_6},\n isbn = {978-3-319-08917-1},\n archivePrefix = {arXiv},\n eprint = {1402.4327},\n file = \t\t {http://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_conf.tex},\n url = \t\t {http://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_conf.pdf}\n}\n\n","author_short":["Aubert, C.","Bagnol, M."],"editor_short":["Dowek, G."],"key":"Aubert2014","id":"Aubert2014","bibbaseid":"aubert-bagnol-unificationandlogarithmicspace-2014","role":"author","urls":{"Paper":"http://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_conf.pdf"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["unification","logarithmic","space","aubert","bagnol"],"keywords":[],"authorIDs":[],"dataSources":["hacktpy38duB2tknw"]}