Encoding Generic Judgments. Miller, D. & Tiu, A. In Proceedings of FSTTCS, of LNCS, pages 18–32, December, 2002. Springer. bibtex @inproceedings{miller02fsttcs,
author = {Dale Miller and Alwen Tiu},
title = {Encoding Generic Judgments},
booktitle = {Proceedings of FSTTCS},
pages = {18--32},
year = {2002},
publisher = {Springer},
series = lncs,
number = {2556},
month = dec,
pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.pdf},
dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.dvi}
}
Downloads: 0
{"_id":"yqwtm3NnMKkkGEh7M","bibbaseid":"miller-tiu-encodinggenericjudgments-2002","author_short":["Miller, D.","Tiu, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Alwen"],"propositions":[],"lastnames":["Tiu"],"suffixes":[]}],"title":"Encoding Generic Judgments","booktitle":"Proceedings of FSTTCS","pages":"18–32","year":"2002","publisher":"Springer","series":"LNCS","number":"2556","month":"December","pdf":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.pdf","dvi":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.dvi","bibtex":"@inproceedings{miller02fsttcs,\n author = {Dale Miller and Alwen Tiu},\n title = {Encoding Generic Judgments},\n booktitle = {Proceedings of FSTTCS},\n pages = {18--32},\n year = {2002},\n publisher = {Springer},\n series = lncs,\n number = {2556},\n month = dec,\n pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.pdf},\n dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.dvi}\n}\n\n","author_short":["Miller, D.","Tiu, A."],"key":"miller02fsttcs","id":"miller02fsttcs","bibbaseid":"miller-tiu-encodinggenericjudgments-2002","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["encoding","generic","judgments","miller","tiu"],"title":"Encoding Generic Judgments","year":2002}