Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970480658> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1970480658 abstract "We show the completeness of the lazy conditional narrowing calculus (LCNC) with leftmost selection for the class of deterministic conditional rewrite systems (CTRSs). Deterministic CTRSs permit extra variables in the right-hand sides and conditions of their rewrite rules. From the completeness proof we obtain several insights to make the calculus more deterministic. Furthermore, and similar to the refinements developed for the unconditional case, we succeeded in removing all nondeterminism due to the choice of the inference rule of LCNC by imposing further syntactic conditions on the participating CTRSs and restricting the set of solutions for which completeness needs to be established." @default.
- W1970480658 created "2016-06-24" @default.
- W1970480658 creator A5004841884 @default.
- W1970480658 creator A5049118633 @default.
- W1970480658 date "2004-08-24" @default.
- W1970480658 modified "2023-10-05" @default.
- W1970480658 title "New completeness results for lazy conditional narrowing" @default.
- W1970480658 cites W1968321482 @default.
- W1970480658 cites W1983900683 @default.
- W1970480658 cites W1992085465 @default.
- W1970480658 cites W1994646145 @default.
- W1970480658 cites W1999453716 @default.
- W1970480658 cites W2022647944 @default.
- W1970480658 cites W2038040550 @default.
- W1970480658 cites W2053719172 @default.
- W1970480658 cites W2061708450 @default.
- W1970480658 cites W2138364864 @default.
- W1970480658 cites W2140796313 @default.
- W1970480658 cites W2169402190 @default.
- W1970480658 doi "https://doi.org/10.1145/1013963.1013979" @default.
- W1970480658 hasPublicationYear "2004" @default.
- W1970480658 type Work @default.
- W1970480658 sameAs 1970480658 @default.
- W1970480658 citedByCount "6" @default.
- W1970480658 countsByYear W19704806582015 @default.
- W1970480658 countsByYear W19704806582018 @default.
- W1970480658 crossrefType "proceedings-article" @default.
- W1970480658 hasAuthorship W1970480658A5004841884 @default.
- W1970480658 hasAuthorship W1970480658A5049118633 @default.
- W1970480658 hasConcept C118615104 @default.
- W1970480658 hasConcept C134306372 @default.
- W1970480658 hasConcept C154945302 @default.
- W1970480658 hasConcept C17231256 @default.
- W1970480658 hasConcept C177264268 @default.
- W1970480658 hasConcept C199343813 @default.
- W1970480658 hasConcept C199360897 @default.
- W1970480658 hasConcept C2776214188 @default.
- W1970480658 hasConcept C2777212361 @default.
- W1970480658 hasConcept C2777686260 @default.
- W1970480658 hasConcept C33923547 @default.
- W1970480658 hasConcept C3746660 @default.
- W1970480658 hasConcept C41008148 @default.
- W1970480658 hasConcept C71924100 @default.
- W1970480658 hasConcept C80444323 @default.
- W1970480658 hasConceptScore W1970480658C118615104 @default.
- W1970480658 hasConceptScore W1970480658C134306372 @default.
- W1970480658 hasConceptScore W1970480658C154945302 @default.
- W1970480658 hasConceptScore W1970480658C17231256 @default.
- W1970480658 hasConceptScore W1970480658C177264268 @default.
- W1970480658 hasConceptScore W1970480658C199343813 @default.
- W1970480658 hasConceptScore W1970480658C199360897 @default.
- W1970480658 hasConceptScore W1970480658C2776214188 @default.
- W1970480658 hasConceptScore W1970480658C2777212361 @default.
- W1970480658 hasConceptScore W1970480658C2777686260 @default.
- W1970480658 hasConceptScore W1970480658C33923547 @default.
- W1970480658 hasConceptScore W1970480658C3746660 @default.
- W1970480658 hasConceptScore W1970480658C41008148 @default.
- W1970480658 hasConceptScore W1970480658C71924100 @default.
- W1970480658 hasConceptScore W1970480658C80444323 @default.
- W1970480658 hasLocation W19704806581 @default.
- W1970480658 hasOpenAccess W1970480658 @default.
- W1970480658 hasPrimaryLocation W19704806581 @default.
- W1970480658 hasRelatedWork W102683223 @default.
- W1970480658 hasRelatedWork W1559068841 @default.
- W1970480658 hasRelatedWork W1584374742 @default.
- W1970480658 hasRelatedWork W2119264717 @default.
- W1970480658 hasRelatedWork W2499263117 @default.
- W1970480658 hasRelatedWork W2791425459 @default.
- W1970480658 hasRelatedWork W3203330043 @default.
- W1970480658 hasRelatedWork W4237444133 @default.
- W1970480658 hasRelatedWork W53862558 @default.
- W1970480658 hasRelatedWork W2710049634 @default.
- W1970480658 isParatext "false" @default.
- W1970480658 isRetracted "false" @default.
- W1970480658 magId "1970480658" @default.
- W1970480658 workType "article" @default.