%0 Conference Paper %1 conf/birthday/Broda02 %A Broda, Krysia %B Computational Logic: Logic Programming and Beyond %D 2002 %E Kakas, Antonis C. %E Sadri, Fariba %I Springer %K dblp %P 135-159 %T A Decidable CLDS for Some Propositional Resource Logics. %U http://dblp.uni-trier.de/db/conf/birthday/kowalski2002-2.html#Broda02 %V 2408 %@ 3-540-43960-9

@inproceedings{conf/birthday/Broda02, added-at = {2017-05-23T00:00:00.000+0200}, author = {Broda, Krysia}, biburl = {https://www.bibsonomy.org/bibtex/2d2a74c53ddd797f1d07828f47fbca183/dblp}, booktitle = {Computational Logic: Logic Programming and Beyond}, crossref = {conf/birthday/2002kowalski2}, editor = {Kakas, Antonis C. and Sadri, Fariba}, ee = {https://doi.org/10.1007/3-540-45632-5_6}, interhash = {6c67507c7c224f05999127715c0fad94}, intrahash = {d2a74c53ddd797f1d07828f47fbca183}, isbn = {3-540-43960-9}, keywords = {dblp}, pages = {135-159}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:22:07.000+0200}, title = {A Decidable CLDS for Some Propositional Resource Logics.}, url = {http://dblp.uni-trier.de/db/conf/birthday/kowalski2002-2.html#Broda02}, volume = 2408, year = 2002 }