%0 Thesis %1 phd/de/Ehm2005 %A Ehm, Thorsten %D 2003 %K dblp %P 1-94 %T The Kleene algebra of nested pointer structures: theory and applications.

@phdthesis{phd/de/Ehm2005, added-at = {2021-07-17T00:00:00.000+0200}, author = {Ehm, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/2634609754ff4d0608bc22840407ee711/dblp}, ee = {https://d-nb.info/974063703}, interhash = {166d08ec39271c0b4b697f28bf79af58}, intrahash = {634609754ff4d0608bc22840407ee711}, keywords = {dblp}, pages = {1-94}, school = {University of Augsburg}, timestamp = {2024-04-09T09:13:21.000+0200}, title = {The Kleene algebra of nested pointer structures: theory and applications.}, year = 2003 }