Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007756883> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2007756883 endingPage "176" @default.
- W2007756883 startingPage "167" @default.
- W2007756883 abstract "We introduce Context-sensitive Conditional Expression Reduction Systems (CERS) by extending and generalizing the notion of conditional TRS to the higher order case. We justify our framework in two ways. First, we define orthogonality for CERSs and show that the usual results for orthogonal systems (finiteness of developments, confluence, permutation equivalence) carry over immediately. This can be used e.g. to infer confluence from the subject reduction property in several typed λ-calculi possibly enriched with pattern-matching definitions. Second, we express several proof and transition systems as CERSs. In particular, we give encodings of Hilbert-style proof systems, Gentzen-style sequent-calculi, rewrite systems with rule priorities, and the π-calculus into CERSs. This last encoding is an (important) example of real context-sensitive rewriting." @default.
- W2007756883 created "2016-06-24" @default.
- W2007756883 creator A5025992214 @default.
- W2007756883 creator A5073597105 @default.
- W2007756883 date "1995-01-01" @default.
- W2007756883 modified "2023-09-24" @default.
- W2007756883 title "Context-sensitive Conditional Expression Reduction Systems" @default.
- W2007756883 cites W1489240819 @default.
- W2007756883 cites W1510403819 @default.
- W2007756883 cites W1565192554 @default.
- W2007756883 cites W1573832301 @default.
- W2007756883 cites W1589007054 @default.
- W2007756883 cites W1679090009 @default.
- W2007756883 cites W1976195354 @default.
- W2007756883 cites W2030663607 @default.
- W2007756883 cites W2105803012 @default.
- W2007756883 cites W2145013821 @default.
- W2007756883 cites W2167316540 @default.
- W2007756883 cites W2170626879 @default.
- W2007756883 cites W4212868911 @default.
- W2007756883 cites W4213258795 @default.
- W2007756883 doi "https://doi.org/10.1016/s1571-0661(05)80193-8" @default.
- W2007756883 hasPublicationYear "1995" @default.
- W2007756883 type Work @default.
- W2007756883 sameAs 2007756883 @default.
- W2007756883 citedByCount "12" @default.
- W2007756883 countsByYear W20077568832018 @default.
- W2007756883 crossrefType "journal-article" @default.
- W2007756883 hasAuthorship W2007756883A5025992214 @default.
- W2007756883 hasAuthorship W2007756883A5073597105 @default.
- W2007756883 hasBestOaLocation W20077568831 @default.
- W2007756883 hasConcept C111335779 @default.
- W2007756883 hasConcept C11413529 @default.
- W2007756883 hasConcept C118615104 @default.
- W2007756883 hasConcept C121332964 @default.
- W2007756883 hasConcept C136119220 @default.
- W2007756883 hasConcept C151730666 @default.
- W2007756883 hasConcept C154690210 @default.
- W2007756883 hasConcept C17137986 @default.
- W2007756883 hasConcept C199360897 @default.
- W2007756883 hasConcept C202444582 @default.
- W2007756883 hasConcept C21308566 @default.
- W2007756883 hasConcept C24890656 @default.
- W2007756883 hasConcept C2524010 @default.
- W2007756883 hasConcept C2779343474 @default.
- W2007756883 hasConcept C2780069185 @default.
- W2007756883 hasConcept C33923547 @default.
- W2007756883 hasConcept C41008148 @default.
- W2007756883 hasConcept C77906462 @default.
- W2007756883 hasConcept C80444323 @default.
- W2007756883 hasConcept C86803240 @default.
- W2007756883 hasConcept C89421646 @default.
- W2007756883 hasConcept C90559484 @default.
- W2007756883 hasConceptScore W2007756883C111335779 @default.
- W2007756883 hasConceptScore W2007756883C11413529 @default.
- W2007756883 hasConceptScore W2007756883C118615104 @default.
- W2007756883 hasConceptScore W2007756883C121332964 @default.
- W2007756883 hasConceptScore W2007756883C136119220 @default.
- W2007756883 hasConceptScore W2007756883C151730666 @default.
- W2007756883 hasConceptScore W2007756883C154690210 @default.
- W2007756883 hasConceptScore W2007756883C17137986 @default.
- W2007756883 hasConceptScore W2007756883C199360897 @default.
- W2007756883 hasConceptScore W2007756883C202444582 @default.
- W2007756883 hasConceptScore W2007756883C21308566 @default.
- W2007756883 hasConceptScore W2007756883C24890656 @default.
- W2007756883 hasConceptScore W2007756883C2524010 @default.
- W2007756883 hasConceptScore W2007756883C2779343474 @default.
- W2007756883 hasConceptScore W2007756883C2780069185 @default.
- W2007756883 hasConceptScore W2007756883C33923547 @default.
- W2007756883 hasConceptScore W2007756883C41008148 @default.
- W2007756883 hasConceptScore W2007756883C77906462 @default.
- W2007756883 hasConceptScore W2007756883C80444323 @default.
- W2007756883 hasConceptScore W2007756883C86803240 @default.
- W2007756883 hasConceptScore W2007756883C89421646 @default.
- W2007756883 hasConceptScore W2007756883C90559484 @default.
- W2007756883 hasLocation W20077568831 @default.
- W2007756883 hasOpenAccess W2007756883 @default.
- W2007756883 hasPrimaryLocation W20077568831 @default.
- W2007756883 hasRelatedWork W1535594904 @default.
- W2007756883 hasRelatedWork W1554156161 @default.
- W2007756883 hasRelatedWork W1761458962 @default.
- W2007756883 hasRelatedWork W2007756883 @default.
- W2007756883 hasRelatedWork W2047973569 @default.
- W2007756883 hasRelatedWork W221113698 @default.
- W2007756883 hasRelatedWork W2286731296 @default.
- W2007756883 hasRelatedWork W3172487478 @default.
- W2007756883 hasRelatedWork W4307537861 @default.
- W2007756883 hasRelatedWork W4323659485 @default.
- W2007756883 hasVolume "2" @default.
- W2007756883 isParatext "false" @default.
- W2007756883 isRetracted "false" @default.
- W2007756883 magId "2007756883" @default.
- W2007756883 workType "article" @default.