%0 Journal Article %1 journals/fac/Weber93 %A Weber, Matthias %D 1993 %J Formal Asp. Comput. %K dblp %N 5 %P 391-431 %T Definition and Basic Properties of the Deva Meta-Calculus. %U http://dblp.uni-trier.de/db/journals/fac/fac5.html#Weber93 %V 5

@article{journals/fac/Weber93, added-at = {2019-03-18T00:00:00.000+0100}, author = {Weber, Matthias}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28da7d139e914c774c9cdd8db2b6b1593/dblp}, ee = {https://doi.org/10.1007/BF01212485}, interhash = {a2aebef09c2aed97de7c737eaaf68e72}, intrahash = {8da7d139e914c774c9cdd8db2b6b1593}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 5, pages = {391-431}, timestamp = {2019-09-27T11:45:19.000+0200}, title = {Definition and Basic Properties of the Deva Meta-Calculus.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac5.html#Weber93}, volume = 5, year = 1993 }