%0 Conference Paper %1 conf/aspdac/EspejoEMO01 %A Espejo, José Alberto %A Entrena, Luis %A Millán, Enrique San %A Olías, Emilio %B ASP-DAC %D 2001 %E Goto, Satoshi %I ACM %K dblp %P 467-472 %T Functional extension of structural logic optimization techniques. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2001.html#EspejoEMO01 %@ 0-7803-6634-4

@inproceedings{conf/aspdac/EspejoEMO01, added-at = {2018-11-06T00:00:00.000+0100}, author = {Espejo, José Alberto and Entrena, Luis and Millán, Enrique San and Olías, Emilio}, biburl = {https://www.bibsonomy.org/bibtex/2b2c1ac0a6f2112097f36d6968f523617/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2001}, editor = {Goto, Satoshi}, ee = {https://doi.org/10.1145/370155.370514}, interhash = {a1878c6d05642b3f1ab4a097aaf55bcf}, intrahash = {b2c1ac0a6f2112097f36d6968f523617}, isbn = {0-7803-6634-4}, keywords = {dblp}, pages = {467-472}, publisher = {ACM}, timestamp = {2019-10-17T16:43:55.000+0200}, title = {Functional extension of structural logic optimization techniques.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2001.html#EspejoEMO01}, year = 2001 }