%0 Conference Paper %1 conf/epia/GuzmanCE99 %A de Guzmán, Inman P. %A Cordero, Pablo %A Enciso, Manuel %B EPIA %D 1999 %E Barahona, Pedro %E Alferes, José Júlio %I Springer %K dblp %P 193-207 %T Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. %U http://dblp.uni-trier.de/db/conf/epia/epia99.html#GuzmanCE99 %V 1695 %@ 3-540-66548-X

@inproceedings{conf/epia/GuzmanCE99, added-at = {2017-05-24T00:00:00.000+0200}, author = {de Guzmán, Inman P. and Cordero, Pablo and Enciso, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/25287bd311cb8e1ce9a3f26ef096d742b/dblp}, booktitle = {EPIA}, crossref = {conf/epia/1999}, editor = {Barahona, Pedro and Alferes, José Júlio}, ee = {https://doi.org/10.1007/3-540-48159-1_14}, interhash = {6c3873d3fe15759407a2a7972b27fc1c}, intrahash = {5287bd311cb8e1ce9a3f26ef096d742b}, isbn = {3-540-66548-X}, keywords = {dblp}, pages = {193-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:48:08.000+0200}, title = {Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/epia/epia99.html#GuzmanCE99}, volume = 1695, year = 1999 }