%0 Conference Paper %1 conf/mfcs/GenrichT76 %A Genrich, Hartmann J. %A Thieler-Mevissen, Gerda %B MFCS %D 1976 %E Mazurkiewicz, Antoni W. %I Springer %K dblp %P 588-595 %T The Calculus of Facts. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs76.html#GenrichT76 %V 45 %@ 0-387-07854-1

@inproceedings{conf/mfcs/GenrichT76, added-at = {2017-05-19T00:00:00.000+0200}, author = {Genrich, Hartmann J. and Thieler-Mevissen, Gerda}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c471decfa2457ac7ef2304c5fe69ae62/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1976}, editor = {Mazurkiewicz, Antoni W.}, ee = {https://doi.org/10.1007/3-540-07854-1_232}, interhash = {798875f29629374fd7b021e836f6e022}, intrahash = {c471decfa2457ac7ef2304c5fe69ae62}, isbn = {0-387-07854-1}, keywords = {dblp}, pages = {588-595}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:52:08.000+0200}, title = {The Calculus of Facts.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs76.html#GenrichT76}, volume = 45, year = 1976 }