%0 Journal Article %1 journals/corr/abs-1012-3372 %A Lengrand, Stéphane %A Dyckhoff, Roy %A McKinna, James %D 2011 %J Logical Methods in Computer Science %K dblp %N 1 %T A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs7.html#abs-1012-3372 %V 7

@article{journals/corr/abs-1012-3372, added-at = {2019-05-14T00:00:00.000+0200}, author = {Lengrand, Stéphane and Dyckhoff, Roy and McKinna, James}, biburl = {https://www.bibsonomy.org/bibtex/2df784ccd9f00f1b2df6e5a61b107ccd4/dblp}, ee = {http://arxiv.org/abs/1012.3372}, interhash = {426da69cc86b689a157e9a4ec6cc1a11}, intrahash = {df784ccd9f00f1b2df6e5a61b107ccd4}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-05-15T11:50:25.000+0200}, title = {A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs7.html#abs-1012-3372}, volume = 7, year = 2011 }