iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/darts/ShinnarSH15.nt
. . . . "Avraham Shinnar et al.: A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact). (2015)" . . _:ID_4681d872b88adf515dcd318e186528d2 . _:ID_4681d872b88adf515dcd318e186528d2 . _:ID_4681d872b88adf515dcd318e186528d2 . _:ID_4681d872b88adf515dcd318e186528d2 . _:ID_4681d872b88adf515dcd318e186528d2 "journals/darts/ShinnarSH15" . _:ID_4986087d47e6d14eda822e87a7472c4f . _:ID_4986087d47e6d14eda822e87a7472c4f . _:ID_4986087d47e6d14eda822e87a7472c4f . _:ID_4986087d47e6d14eda822e87a7472c4f . _:ID_4986087d47e6d14eda822e87a7472c4f "10.4230/DARTS.1.1.8" . "A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)." . . . . . . . . "3"^^ . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_1 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_1 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_1 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_1 "Avraham Shinnar" . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_1 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_1 "1"^^ . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_1 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_2 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_2 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_2 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_2 "J\u00E9r\u00F4me Sim\u00E9on" . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_2 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_2 "2"^^ . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_2 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_3 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_3 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_3 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_3 "Martin Hirzel" . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_3 . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_3 "3"^^ . _:Sig_e2c0eb9cc8d0dc95fa0c44b828ab2616_3 . . . . . "08:1-08:2" . "Dagstuhl Artifacts Ser." . "Dagstuhl Artifacts Ser." . "1" . "1" . "2015"^^ . "provenance information for RDF data of dblp record 'journals/darts/ShinnarSH15'" . . . . "2020-09-01T14:09:23+0200" .