%0 Thesis %1 hoffmann2005formal %A Hoffmann, Kathrin %D 2005 %K %T Formal approach and applications of algebraic higher-order nets

@phdthesis{hoffmann2005formal, added-at = {2023-12-12T23:12:11.000+0100}, author = {Hoffmann, Kathrin}, biburl = {https://www.bibsonomy.org/bibtex/20485410152fc10d17708dd6f5c0c79d8/admin}, dnbtitleid = {982277733}, interhash = {53303b8e007390aa23020284238e2aa1}, intrahash = {0485410152fc10d17708dd6f5c0c79d8}, keywords = {}, school = {TU Berlin}, timestamp = {2023-12-12T23:12:11.000+0100}, title = {Formal approach and applications of algebraic higher-order nets}, year = 2005 }