Matches in SemOpenAlex for { <https://semopenalex.org/work/W2564787959> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2564787959 endingPage "41" @default.
- W2564787959 startingPage "27" @default.
- W2564787959 abstract "We revisit variable renaming from a practitioner's point of view, presenting concepts we found useful in dealing with operational semantics of pure Prolog. A concept of relaxed core representation is introduced, upon which a concept of prenaming is built. Prenaming formalizes the intuitive practice of renaming terms by just considering the necessary bindings, where now some passive bindings x/x may be necessary as well. As an application, a constructive version of variant lemma for implemented Horn clause logic has been obtained. There, prenamings made it possible to incrementally handle new (local) variables." @default.
- W2564787959 created "2017-01-06" @default.
- W2564787959 creator A5076181434 @default.
- W2564787959 date "2017-01-01" @default.
- W2564787959 modified "2023-10-16" @default.
- W2564787959 title "A Practical View on Renaming" @default.
- W2564787959 cites W1562307676 @default.
- W2564787959 cites W2001265243 @default.
- W2564787959 cites W2002555248 @default.
- W2564787959 cites W2037035101 @default.
- W2564787959 cites W2038945974 @default.
- W2564787959 cites W2129651519 @default.
- W2564787959 cites W2143382644 @default.
- W2564787959 cites W2148649496 @default.
- W2564787959 cites W2168280567 @default.
- W2564787959 cites W2912255765 @default.
- W2564787959 cites W3104635976 @default.
- W2564787959 cites W4206370914 @default.
- W2564787959 cites W4214611179 @default.
- W2564787959 cites W4248512189 @default.
- W2564787959 doi "https://doi.org/10.4204/eptcs.234.3" @default.
- W2564787959 hasPublicationYear "2017" @default.
- W2564787959 type Work @default.
- W2564787959 sameAs 2564787959 @default.
- W2564787959 citedByCount "0" @default.
- W2564787959 crossrefType "journal-article" @default.
- W2564787959 hasAuthorship W2564787959A5076181434 @default.
- W2564787959 hasBestOaLocation W25647879591 @default.
- W2564787959 hasConcept C134306372 @default.
- W2564787959 hasConcept C17744445 @default.
- W2564787959 hasConcept C182365436 @default.
- W2564787959 hasConcept C184337299 @default.
- W2564787959 hasConcept C18903297 @default.
- W2564787959 hasConcept C189790780 @default.
- W2564787959 hasConcept C199360897 @default.
- W2564787959 hasConcept C199539241 @default.
- W2564787959 hasConcept C2164484 @default.
- W2564787959 hasConcept C2524010 @default.
- W2564787959 hasConcept C2776359362 @default.
- W2564787959 hasConcept C2777759810 @default.
- W2564787959 hasConcept C2778701210 @default.
- W2564787959 hasConcept C28719098 @default.
- W2564787959 hasConcept C33923547 @default.
- W2564787959 hasConcept C41008148 @default.
- W2564787959 hasConcept C46757340 @default.
- W2564787959 hasConcept C76155785 @default.
- W2564787959 hasConcept C80444323 @default.
- W2564787959 hasConcept C81721847 @default.
- W2564787959 hasConcept C86803240 @default.
- W2564787959 hasConcept C94625758 @default.
- W2564787959 hasConcept C98045186 @default.
- W2564787959 hasConceptScore W2564787959C134306372 @default.
- W2564787959 hasConceptScore W2564787959C17744445 @default.
- W2564787959 hasConceptScore W2564787959C182365436 @default.
- W2564787959 hasConceptScore W2564787959C184337299 @default.
- W2564787959 hasConceptScore W2564787959C18903297 @default.
- W2564787959 hasConceptScore W2564787959C189790780 @default.
- W2564787959 hasConceptScore W2564787959C199360897 @default.
- W2564787959 hasConceptScore W2564787959C199539241 @default.
- W2564787959 hasConceptScore W2564787959C2164484 @default.
- W2564787959 hasConceptScore W2564787959C2524010 @default.
- W2564787959 hasConceptScore W2564787959C2776359362 @default.
- W2564787959 hasConceptScore W2564787959C2777759810 @default.
- W2564787959 hasConceptScore W2564787959C2778701210 @default.
- W2564787959 hasConceptScore W2564787959C28719098 @default.
- W2564787959 hasConceptScore W2564787959C33923547 @default.
- W2564787959 hasConceptScore W2564787959C41008148 @default.
- W2564787959 hasConceptScore W2564787959C46757340 @default.
- W2564787959 hasConceptScore W2564787959C76155785 @default.
- W2564787959 hasConceptScore W2564787959C80444323 @default.
- W2564787959 hasConceptScore W2564787959C81721847 @default.
- W2564787959 hasConceptScore W2564787959C86803240 @default.
- W2564787959 hasConceptScore W2564787959C94625758 @default.
- W2564787959 hasConceptScore W2564787959C98045186 @default.
- W2564787959 hasLocation W25647879591 @default.
- W2564787959 hasLocation W25647879592 @default.
- W2564787959 hasLocation W25647879593 @default.
- W2564787959 hasOpenAccess W2564787959 @default.
- W2564787959 hasPrimaryLocation W25647879591 @default.
- W2564787959 hasRelatedWork W1455026407 @default.
- W2564787959 hasRelatedWork W1608659702 @default.
- W2564787959 hasRelatedWork W1999702466 @default.
- W2564787959 hasRelatedWork W2076891835 @default.
- W2564787959 hasRelatedWork W2088007073 @default.
- W2564787959 hasRelatedWork W2112962394 @default.
- W2564787959 hasRelatedWork W2319386772 @default.
- W2564787959 hasRelatedWork W2564787959 @default.
- W2564787959 hasRelatedWork W2473250120 @default.
- W2564787959 hasRelatedWork W3014088202 @default.
- W2564787959 hasVolume "234" @default.
- W2564787959 isParatext "false" @default.
- W2564787959 isRetracted "false" @default.
- W2564787959 magId "2564787959" @default.
- W2564787959 workType "article" @default.