%0 Conference Paper %1 conf/rr/RezkK11 %A Rezk, Martín %A Kifer, Michael %B RR %D 2011 %E Rudolph, Sebastian %E Gutierrez, Claudio %I Springer %K dblp %P 185-200 %T On the Equivalence between the $L_1$ Action Language and Partial Actions in Transaction Logic. %U http://dblp.uni-trier.de/db/conf/rr/rr2011.html#RezkK11 %V 6902 %@ 978-3-642-23579-5

@inproceedings{conf/rr/RezkK11, added-at = {2017-05-24T00:00:00.000+0200}, author = {Rezk, Martín and Kifer, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2a46b7a6f441b8a81ab1376455b61db1e/dblp}, booktitle = {RR}, crossref = {conf/rr/2011}, editor = {Rudolph, Sebastian and Gutierrez, Claudio}, ee = {https://doi.org/10.1007/978-3-642-23580-1_14}, interhash = {e9c6e3a489576440f039dba21f050f73}, intrahash = {a46b7a6f441b8a81ab1376455b61db1e}, isbn = {978-3-642-23579-5}, keywords = {dblp}, pages = {185-200}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:50:20.000+0200}, title = {On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic.}, url = {http://dblp.uni-trier.de/db/conf/rr/rr2011.html#RezkK11}, volume = 6902, year = 2011 }