%0 Journal Article %1 journals/darts/ShinnarSH15 %A Shinnar, Avraham %A Siméon, Jérôme %A Hirzel, Martin %D 2015 %J Dagstuhl Artifacts Ser. %K dblp %N 1 %P 08:1-08:2 %T A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact). %U http://dblp.uni-trier.de/db/journals/darts/darts1.html#ShinnarSH15 %V 1

@article{journals/darts/ShinnarSH15, added-at = {2020-09-01T00:00:00.000+0200}, author = {Shinnar, Avraham and Siméon, Jérôme and Hirzel, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2dd84b16aea2f17e76c494b6c90ae3167/dblp}, ee = {https://doi.org/10.4230/DARTS.1.1.8}, interhash = {b4ca16fb0f804ffdbf2c4bc87e7951fc}, intrahash = {dd84b16aea2f17e76c494b6c90ae3167}, journal = {Dagstuhl Artifacts Ser.}, keywords = {dblp}, number = 1, pages = {08:1-08:2}, timestamp = {2020-09-09T11:54:01.000+0200}, title = {A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).}, url = {http://dblp.uni-trier.de/db/journals/darts/darts1.html#ShinnarSH15}, volume = 1, year = 2015 }