Matches in Wikidata for { ?s ?p A General Proof System for Modalities in Concurrent Constraint Programming ?g. }
Showing items 1 to 5 of
5
with 100 items per page.
- Q57850801 name "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801 label "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801 prefLabel "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801 P1476 "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801-31B91000-E265-4FCD-9387-65D199BD2870 P1476 "A General Proof System for Modalities in Concurrent Constraint Programming" @default.