Data Portal @ linkeddatafragments.org

Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/rr2011/full/195> ?p ?o. }

• 195 creator martin-rezk.
• 195 creator michael-kifer.
• 195 type InProceedings.
• 195 label "Reasoning with Actions in Transaction Logic".
• 195 sameAs 195.
• 195 hasAuthorList authorList.
• 195 isPartOf proceedings.
• 195 title "Reasoning with Actions in Transaction Logic".