%0 Conference Paper %1 conf/RelMiCS/Ehm03 %A Ehm, Thorsten %B RelMiCS %D 2003 %E Berghammer, Rudolf %E Möller, Bernhard %E Struth, Georg %I Springer %K %P 99-111 %T Pointer Kleene Algebra. %U http://dblp.uni-trier.de/db/conf/RelMiCS/RelMiCS2003.html#Ehm03 %V 3051 %@ 3-540-22145-X

@inproceedings{conf/RelMiCS/Ehm03, added-at = {2023-12-13T05:26:48.000+0100}, author = {Ehm, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/22e27572ec4cfff994767c90061d3a32d/admin}, booktitle = {RelMiCS}, crossref = {conf/RelMiCS/2003conf}, editor = {Berghammer, Rudolf and Möller, Bernhard and Struth, Georg}, ee = {https://doi.org/10.1007/978-3-540-24771-5_9}, interhash = {a29eff13d35dde5d1b3db479e2579ac2}, intrahash = {2e27572ec4cfff994767c90061d3a32d}, isbn = {3-540-22145-X}, keywords = {}, pages = {99-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:26:48.000+0100}, title = {Pointer Kleene Algebra.}, url = {http://dblp.uni-trier.de/db/conf/RelMiCS/RelMiCS2003.html#Ehm03}, volume = 3051, year = 2003 }