%0 Conference Paper %1 conf/alt/FronhoferY02 %A Fronhöfer, Bertram %A Yamamoto, Akihiro %B ALT %D 2002 %E Cesa-Bianchi, Nicolò %E Numao, Masayuki %E Reischuk, Rüdiger %I Springer %K dblp %P 278-292 %T Minimised Residue Hypotheses in Relevant Logic. %U http://dblp.uni-trier.de/db/conf/alt/alt2002.html#FronhoferY02 %V 2533 %@ 3-540-00170-0

@inproceedings{conf/alt/FronhoferY02, added-at = {2017-05-26T00:00:00.000+0200}, author = {Fronhöfer, Bertram and Yamamoto, Akihiro}, biburl = {https://www.bibsonomy.org/bibtex/2ac06fa8d693e007ca28d7a66bf850c84/dblp}, booktitle = {ALT}, crossref = {conf/alt/2002}, editor = {Cesa-Bianchi, Nicolò and Numao, Masayuki and Reischuk, Rüdiger}, ee = {https://doi.org/10.1007/3-540-36169-3_23}, interhash = {bf155f68601abbd5f91eaa6255a00c05}, intrahash = {ac06fa8d693e007ca28d7a66bf850c84}, isbn = {3-540-00170-0}, keywords = {dblp}, pages = {278-292}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:36:44.000+0200}, title = {Minimised Residue Hypotheses in Relevant Logic.}, url = {http://dblp.uni-trier.de/db/conf/alt/alt2002.html#FronhoferY02}, volume = 2533, year = 2002 }