Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576376670> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1576376670 endingPage "207" @default.
- W1576376670 startingPage "204" @default.
- W1576376670 abstract "We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able to do searches and queries in all possible syntactically valid Promise expressions of an arbitrary initial state of participants and constraints. We use this approach to improve the set of grammatical rules that is already available." @default.
- W1576376670 created "2016-06-24" @default.
- W1576376670 creator A5037139554 @default.
- W1576376670 creator A5070033925 @default.
- W1576376670 date "2007-07-06" @default.
- W1576376670 modified "2023-09-23" @default.
- W1576376670 title "Understanding Promise Theory Using Rewriting Logic" @default.
- W1576376670 cites W1575698838 @default.
- W1576376670 cites W1968919861 @default.
- W1576376670 cites W2111977767 @default.
- W1576376670 cites W2137982078 @default.
- W1576376670 doi "https://doi.org/10.1007/978-3-540-72986-0_26" @default.
- W1576376670 hasPublicationYear "2007" @default.
- W1576376670 type Work @default.
- W1576376670 sameAs 1576376670 @default.
- W1576376670 citedByCount "0" @default.
- W1576376670 crossrefType "book-chapter" @default.
- W1576376670 hasAuthorship W1576376670A5037139554 @default.
- W1576376670 hasAuthorship W1576376670A5070033925 @default.
- W1576376670 hasConcept C128838566 @default.
- W1576376670 hasConcept C154564781 @default.
- W1576376670 hasConcept C154690210 @default.
- W1576376670 hasConcept C154945302 @default.
- W1576376670 hasConcept C177264268 @default.
- W1576376670 hasConcept C199360897 @default.
- W1576376670 hasConcept C2987117450 @default.
- W1576376670 hasConcept C41008148 @default.
- W1576376670 hasConcept C48103436 @default.
- W1576376670 hasConcept C58646249 @default.
- W1576376670 hasConcept C60048249 @default.
- W1576376670 hasConcept C80444323 @default.
- W1576376670 hasConceptScore W1576376670C128838566 @default.
- W1576376670 hasConceptScore W1576376670C154564781 @default.
- W1576376670 hasConceptScore W1576376670C154690210 @default.
- W1576376670 hasConceptScore W1576376670C154945302 @default.
- W1576376670 hasConceptScore W1576376670C177264268 @default.
- W1576376670 hasConceptScore W1576376670C199360897 @default.
- W1576376670 hasConceptScore W1576376670C2987117450 @default.
- W1576376670 hasConceptScore W1576376670C41008148 @default.
- W1576376670 hasConceptScore W1576376670C48103436 @default.
- W1576376670 hasConceptScore W1576376670C58646249 @default.
- W1576376670 hasConceptScore W1576376670C60048249 @default.
- W1576376670 hasConceptScore W1576376670C80444323 @default.
- W1576376670 hasLocation W15763766701 @default.
- W1576376670 hasOpenAccess W1576376670 @default.
- W1576376670 hasPrimaryLocation W15763766701 @default.
- W1576376670 hasRelatedWork W1465357002 @default.
- W1576376670 hasRelatedWork W1493799155 @default.
- W1576376670 hasRelatedWork W1553033886 @default.
- W1576376670 hasRelatedWork W1555674585 @default.
- W1576376670 hasRelatedWork W1578725873 @default.
- W1576376670 hasRelatedWork W1592575763 @default.
- W1576376670 hasRelatedWork W1595033180 @default.
- W1576376670 hasRelatedWork W2203985683 @default.
- W1576376670 hasRelatedWork W2395554465 @default.
- W1576376670 hasRelatedWork W2403302718 @default.
- W1576376670 hasRelatedWork W2540298533 @default.
- W1576376670 hasRelatedWork W2542526237 @default.
- W1576376670 hasRelatedWork W294427244 @default.
- W1576376670 hasRelatedWork W2964142859 @default.
- W1576376670 hasRelatedWork W2965093858 @default.
- W1576376670 hasRelatedWork W3021599317 @default.
- W1576376670 hasRelatedWork W3104255688 @default.
- W1576376670 hasRelatedWork W3196415809 @default.
- W1576376670 hasRelatedWork W2333218040 @default.
- W1576376670 hasRelatedWork W248618342 @default.
- W1576376670 isParatext "false" @default.
- W1576376670 isRetracted "false" @default.
- W1576376670 magId "1576376670" @default.
- W1576376670 workType "book-chapter" @default.