%0 Conference Paper %1 conf/vmcai/SchachteS06 %A Schachte, Peter %A Søndergaard, Harald %B VMCAI %D 2006 %E Emerson, E. Allen %E Namjoshi, Kedar S. %I Springer %K dblp %P 1-16 %T Closure Operators for ROBDDs. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2006.html#SchachteS06 %V 3855 %@ 3-540-31139-4

@inproceedings{conf/vmcai/SchachteS06, added-at = {2018-11-14T00:00:00.000+0100}, author = {Schachte, Peter and Søndergaard, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2b2e1e250e7c13cde5af33f1857fa887a/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2006}, editor = {Emerson, E. Allen and Namjoshi, Kedar S.}, ee = {https://www.wikidata.org/entity/Q57665018}, interhash = {e9369640b0d8f8e266ff798b9a61a404}, intrahash = {b2e1e250e7c13cde5af33f1857fa887a}, isbn = {3-540-31139-4}, keywords = {dblp}, pages = {1-16}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:04.000+0200}, title = {Closure Operators for ROBDDs.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2006.html#SchachteS06}, volume = 3855, year = 2006 }