Data Portal @ linkeddatafragments.org

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

• 1 creator jos-de-bruijn.
• 1 creator martin-rezk.
• 1 type InProceedings.
• 1 label "A Logic Based Approach to the Static Analysis of Production Systems".
• 1 sameAs 1.
• 1 hasAuthorList authorList.
• 1 isPartOf proceedings.
• 1 title "A Logic Based Approach to the Static Analysis of Production Systems".