%0 Conference Paper %1 conf/dagstuhl/Arnborg93 %A Arnborg, Stefan %B Dagstuhl Seminar on Graph Transformations in Computer Science %D 1993 %E Schneider, Hans Jürgen %E Ehrig, Hartmut %I Springer %K dblp %P 37-50 %T Decomposability Helps for Deciding Logics of Knowledge and Belief. %U http://dblp.uni-trier.de/db/conf/dagstuhl/gtcs1993.html#Arnborg93 %V 776 %@ 3-540-57787-4

@inproceedings{conf/dagstuhl/Arnborg93, added-at = {2017-05-19T00:00:00.000+0200}, author = {Arnborg, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2edc83fba134e1f43b9978eb59bf7cc0d/dblp}, booktitle = {Dagstuhl Seminar on Graph Transformations in Computer Science}, crossref = {conf/dagstuhl/1993gtcs}, editor = {Schneider, Hans Jürgen and Ehrig, Hartmut}, ee = {https://doi.org/10.1007/3-540-57787-4_3}, interhash = {11cfa5fbf21e433d52ac53385eaf7670}, intrahash = {edc83fba134e1f43b9978eb59bf7cc0d}, isbn = {3-540-57787-4}, keywords = {dblp}, pages = {37-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:34:45.000+0200}, title = {Decomposability Helps for Deciding Logics of Knowledge and Belief.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/gtcs1993.html#Arnborg93}, volume = 776, year = 1993 }