Unification and Logarithmic Space. Aubert, C. & Bagnol, M. In RTA-TLCA, volume 8650, of Lecture Notes in Computer Science, pages 77–92, 2014. Springer. Paper doi bibtex @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}
}
Downloads: 0
{"_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"]}