Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953354833> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2953354833 abstract "We introduce Associative Commutative Distributive Term Rewriting (ACDTR), a rewriting language for rewriting logical formulae. ACDTR extends AC term rewriting by adding distribution of conjunction over other operators. Conjunction is vital for expressive term rewriting systems since it allows us to require that multiple conditions hold for a term rewriting rule to be used. ACDTR uses the notion of a conjunctive context, which is the conjunction of constraints that must hold in the context of a term, to enable the programmer to write very expressive and targeted rewriting rules. ACDTR can be seen as a general logic programming language that extends Constraint Handling Rules and AC term rewriting. In this paper we define the semantics of ACDTR and describe our prototype implementation." @default.
- W2953354833 created "2019-06-27" @default.
- W2953354833 creator A5016297190 @default.
- W2953354833 creator A5064839018 @default.
- W2953354833 creator A5069809962 @default.
- W2953354833 date "2006-08-03" @default.
- W2953354833 modified "2023-09-27" @default.
- W2953354833 title "ACD Term Rewriting" @default.
- W2953354833 cites W1499633535 @default.
- W2953354833 cites W2079333278 @default.
- W2953354833 hasPublicationYear "2006" @default.
- W2953354833 type Work @default.
- W2953354833 sameAs 2953354833 @default.
- W2953354833 citedByCount "2" @default.
- W2953354833 crossrefType "posted-content" @default.
- W2953354833 hasAuthorship W2953354833A5016297190 @default.
- W2953354833 hasAuthorship W2953354833A5064839018 @default.
- W2953354833 hasAuthorship W2953354833A5069809962 @default.
- W2953354833 hasConcept C118615104 @default.
- W2953354833 hasConcept C121332964 @default.
- W2953354833 hasConcept C1276947 @default.
- W2953354833 hasConcept C151730666 @default.
- W2953354833 hasConcept C154690210 @default.
- W2953354833 hasConcept C159423971 @default.
- W2953354833 hasConcept C183778304 @default.
- W2953354833 hasConcept C199360897 @default.
- W2953354833 hasConcept C202444582 @default.
- W2953354833 hasConcept C2779343474 @default.
- W2953354833 hasConcept C33923547 @default.
- W2953354833 hasConcept C41008148 @default.
- W2953354833 hasConcept C59656382 @default.
- W2953354833 hasConcept C61797465 @default.
- W2953354833 hasConcept C62520636 @default.
- W2953354833 hasConcept C77906462 @default.
- W2953354833 hasConcept C86803240 @default.
- W2953354833 hasConceptScore W2953354833C118615104 @default.
- W2953354833 hasConceptScore W2953354833C121332964 @default.
- W2953354833 hasConceptScore W2953354833C1276947 @default.
- W2953354833 hasConceptScore W2953354833C151730666 @default.
- W2953354833 hasConceptScore W2953354833C154690210 @default.
- W2953354833 hasConceptScore W2953354833C159423971 @default.
- W2953354833 hasConceptScore W2953354833C183778304 @default.
- W2953354833 hasConceptScore W2953354833C199360897 @default.
- W2953354833 hasConceptScore W2953354833C202444582 @default.
- W2953354833 hasConceptScore W2953354833C2779343474 @default.
- W2953354833 hasConceptScore W2953354833C33923547 @default.
- W2953354833 hasConceptScore W2953354833C41008148 @default.
- W2953354833 hasConceptScore W2953354833C59656382 @default.
- W2953354833 hasConceptScore W2953354833C61797465 @default.
- W2953354833 hasConceptScore W2953354833C62520636 @default.
- W2953354833 hasConceptScore W2953354833C77906462 @default.
- W2953354833 hasConceptScore W2953354833C86803240 @default.
- W2953354833 hasLocation W29533548331 @default.
- W2953354833 hasOpenAccess W2953354833 @default.
- W2953354833 hasPrimaryLocation W29533548331 @default.
- W2953354833 hasRelatedWork W1032572692 @default.
- W2953354833 hasRelatedWork W1500649746 @default.
- W2953354833 hasRelatedWork W1533534652 @default.
- W2953354833 hasRelatedWork W1577544887 @default.
- W2953354833 hasRelatedWork W1606338408 @default.
- W2953354833 hasRelatedWork W1781645394 @default.
- W2953354833 hasRelatedWork W1872879644 @default.
- W2953354833 hasRelatedWork W1899640703 @default.
- W2953354833 hasRelatedWork W1932534967 @default.
- W2953354833 hasRelatedWork W1966706395 @default.
- W2953354833 hasRelatedWork W2034484223 @default.
- W2953354833 hasRelatedWork W2053867970 @default.
- W2953354833 hasRelatedWork W2154580607 @default.
- W2953354833 hasRelatedWork W2203094948 @default.
- W2953354833 hasRelatedWork W2287769028 @default.
- W2953354833 hasRelatedWork W2594012524 @default.
- W2953354833 hasRelatedWork W2740875086 @default.
- W2953354833 hasRelatedWork W2975211285 @default.
- W2953354833 hasRelatedWork W3083562928 @default.
- W2953354833 hasRelatedWork W8727156 @default.
- W2953354833 isParatext "false" @default.
- W2953354833 isRetracted "false" @default.
- W2953354833 magId "2953354833" @default.
- W2953354833 workType "article" @default.