Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/rr2011/full/180> ?p ?o. }
Showing items 1 to 8 of
8
with 100 items per page.
- 180 creator martin-rezk.
- 180 creator michael-kifer.
- 180 type InProceedings.
- 180 label "Representing L1 Domain Descriptions as Partially Defined Actions of Transaction Logic".
- 180 sameAs 180.
- 180 hasAuthorList authorList.
- 180 isPartOf proceedings.
- 180 title "Representing L1 Domain Descriptions as Partially Defined Actions of Transaction Logic".