%0 Journal Article %1 tr/trier/MI94-03 %A Bern, Jochen %A Meinel, Christoph %A Slobodová, Anna %D 1994 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K dblp %T Some Heuristics for Generating Tree-like FBDD Types %V 94-03

@article{tr/trier/MI94-03, added-at = {2011-12-29T00:00:00.000+0100}, author = {Bern, Jochen and Meinel, Christoph and Slobodová, Anna}, biburl = {https://www.bibsonomy.org/bibtex/29a0c61692d0e87a818c6eccf0148e978/dblp}, interhash = {4b2fafd59b9760eb44302170932fdaa0}, intrahash = {9a0c61692d0e87a818c6eccf0148e978}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {dblp}, timestamp = {2011-12-30T11:32:11.000+0100}, title = {Some Heuristics for Generating Tree-like FBDD Types}, volume = {94-03}, year = 1994 }