%0 Journal Article %1 journals/logcom/CayrolPS93 %A Cayrol, Michel %A Palmade, Olivier %A Schiex, Thomas %D 1993 %J J. Log. Comput. %K dblp %N 2 %P 115-130 %T A Fixed Point Semantics for the ATMS. %U http://dblp.uni-trier.de/db/journals/logcom/logcom3.html#CayrolPS93 %V 3

@article{journals/logcom/CayrolPS93, added-at = {2011-06-29T00:00:00.000+0200}, author = {Cayrol, Michel and Palmade, Olivier and Schiex, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2a47d6ebe48f8790d8766c527352d58c9/dblp}, ee = {http://dx.doi.org/10.1093/logcom/3.2.115}, interhash = {1c55d578e6ee6d7ca4aa4c442366a662}, intrahash = {a47d6ebe48f8790d8766c527352d58c9}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 2, pages = {115-130}, timestamp = {2011-06-30T11:38:49.000+0200}, title = {A Fixed Point Semantics for the ATMS.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom3.html#CayrolPS93}, volume = 3, year = 1993 }