Constraint tableaux. Nualláin, B. Ó Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Copenhagen, Denmark, 252:253--255, 2002. bibtex @article{ o2002constraint,
title = {Constraint tableaux},
author = {Ó~Nualláin, B.},
journal = {Position Papers presented at International Conference on Analytic
Tableaux and Related Methods, Copenhagen, Denmark},
volume = {252},
pages = {253--255},
year = {2002}
}
Downloads: 0
{"_id":"cAg7Yk8ne3CRkFfwG","authorIDs":["549b247b8e3bca5f37000940"],"author_short":["Nualláin, B.<nbsp>Ó"],"bibbaseid":"nuallin-constrainttableaux-2002","bibdata":{"author":["Nualláin, B. Ó"],"author_short":["Nualláin, B.<nbsp>Ó"],"bibtex":"@article{ o2002constraint,\n title = {Constraint tableaux},\n author = {Ó~Nualláin, B.},\n journal = {Position Papers presented at International Conference on Analytic\n Tableaux and Related Methods, Copenhagen, Denmark},\n volume = {252},\n pages = {253--255},\n year = {2002}\n}","bibtype":"article","id":"o2002constraint","journal":"Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Copenhagen, Denmark","key":"o2002constraint","pages":"253--255","title":"Constraint tableaux","type":"article","volume":"252","year":"2002","bibbaseid":"nuallin-constrainttableaux-2002","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"http://bon.auc-computing.nl/mise.bib","creationDate":"2014-12-24T20:39:23.237Z","downloads":0,"keywords":[],"search_terms":["constraint","tableaux","nualláin"],"title":"Constraint tableaux","year":2002,"dataSources":["2uu58iHb7vFMbboEF"]}