%0 Journal Article %1 journals/logcom/HenselJ99 %A Hensel, Ulrich %A Jacobs, Bart %D 1999 %J J. Log. Comput. %K %N 4 %P 463-500 %T Coalgebraic Theories of Sequences in PVS. %U http://dblp.uni-trier.de/db/journals/logcom/logcom9.html#HenselJ99 %V 9

@article{journals/logcom/HenselJ99, added-at = {2023-12-14T15:23:33.000+0100}, author = {Hensel, Ulrich and Jacobs, Bart}, biburl = {https://www.bibsonomy.org/bibtex/219bf8c4cfb3192b5cf17956356b63308/admin}, ee = {http://dx.doi.org/10.1093/logcom/9.4.463}, interhash = {ea8fa0a75259d076586d7c4c59bf6883}, intrahash = {19bf8c4cfb3192b5cf17956356b63308}, journal = {J. Log. Comput.}, keywords = {}, number = 4, pages = {463-500}, timestamp = {2023-12-14T15:23:33.000+0100}, title = {Coalgebraic Theories of Sequences in PVS.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom9.html#HenselJ99}, volume = 9, year = 1999 }