%0 Journal Article %1 journals/logcom/MeghiniS08 %A Meghini, Carlo %A Spyratos, Nicolas %D 2008 %J J. Log. Comput. %K dblp %N 6 %P 831-847 %T Synthesizing Monadic Predicates. %U http://dblp.uni-trier.de/db/journals/logcom/logcom18.html#MeghiniS08 %V 18

@article{journals/logcom/MeghiniS08, added-at = {2009-06-04T00:00:00.000+0200}, author = {Meghini, Carlo and Spyratos, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/29c36f604472e59cf7eac133e069188aa/dblp}, date = {2009-06-04}, description = {dblp}, ee = {http://dx.doi.org/10.1093/logcom/exn006}, interhash = {4af8f94c8faefa4efb3dc12ccf81bd89}, intrahash = {9c36f604472e59cf7eac133e069188aa}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 6, pages = {831-847}, timestamp = {2009-06-09T11:33:30.000+0200}, title = {Synthesizing Monadic Predicates.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom18.html#MeghiniS08}, volume = 18, year = 2008 }