FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W76561517> ?p ?o ?g. }

• W76561517 abstract "This document describes my research and programming work in computer science between 1990 and 2005. All this work takes place in the framework of term rewriting systems and call by need strategies for these systems. It is both theoretical and practical; most of the theoretical notions and algorithms discussed have been implemented in a software tool called Autowrite. This document is an opportunity to present all our work related to call-by-need (published or unpublished) in a unified framework. Thanks to no severe limits on available space, the presentation may contain more details and examples than what can be given in a usual publication where space is always scarce. In some cases, the presentation given in this document departs significantly from the one previously given in our publications. We have tried to make this document as self-contained as possible so that a reader with some background in theoretical computer science could read it without looking for definitions elsewhere. All the given proofs are ours (with or without co-authors)." @default.
• W76561517 created "2016-06-24" @default.
• W76561517 creator A5011644256 @default.
• W76561517 date "2005-07-01" @default.
• W76561517 modified "2023-09-30" @default.
• W76561517 title "Call by need computations in orthogonal term rewriting systems" @default.
• W76561517 cites W101888042 @default.
• W76561517 cites W1480729609 @default.
• W76561517 cites W1489643651 @default.
• W76561517 cites W1493363766 @default.
• W76561517 cites W1510965759 @default.
• W76561517 cites W1517413638 @default.
• W76561517 cites W1530168704 @default.
• W76561517 cites W1552961498 @default.
• W76561517 cites W1582848331 @default.
• W76561517 cites W1593799327 @default.
• W76561517 cites W1606720127 @default.
• W76561517 cites W1691095050 @default.
• W76561517 cites W1958238363 @default.
• W76561517 cites W1995788030 @default.
• W76561517 cites W1996081324 @default.
• W76561517 cites W2010129996 @default.
• W76561517 cites W2011805144 @default.
• W76561517 cites W2045435392 @default.
• W76561517 cites W2056239109 @default.
• W76561517 cites W2065568880 @default.
• W76561517 cites W2073663206 @default.
• W76561517 cites W2076609932 @default.
• W76561517 cites W20773390 @default.
• W76561517 cites W2094945667 @default.
• W76561517 cites W2099964107 @default.
• W76561517 cites W2108414354 @default.
• W76561517 cites W2126018011 @default.
• W76561517 cites W2128313764 @default.
• W76561517 cites W2142033912 @default.
• W76561517 cites W2157756891 @default.
• W76561517 cites W2158205039 @default.
• W76561517 cites W2208923056 @default.
• W76561517 cites W2517132 @default.
• W76561517 cites W2737348026 @default.
• W76561517 hasPublicationYear "2005" @default.
• W76561517 type Work @default.
• W76561517 sameAs 76561517 @default.
• W76561517 citedByCount "0" @default.
• W76561517 crossrefType "dissertation" @default.
• W76561517 hasAuthorship W76561517A5011644256 @default.
• W76561517 hasConcept C108710211 @default.
• W76561517 hasConcept C111919701 @default.
• W76561517 hasConcept C121332964 @default.
• W76561517 hasConcept C126838900 @default.
• W76561517 hasConcept C127413603 @default.
• W76561517 hasConcept C154690210 @default.
• W76561517 hasConcept C18762648 @default.
• W76561517 hasConcept C199360897 @default.
• W76561517 hasConcept C2522767166 @default.
• W76561517 hasConcept C2524010 @default.
• W76561517 hasConcept C2777601897 @default.
• W76561517 hasConcept C2777904410 @default.
• W76561517 hasConcept C2778572836 @default.
• W76561517 hasConcept C33923547 @default.
• W76561517 hasConcept C41008148 @default.
• W76561517 hasConcept C61797465 @default.
• W76561517 hasConcept C62520636 @default.
• W76561517 hasConcept C71924100 @default.
• W76561517 hasConcept C78519656 @default.
• W76561517 hasConcept C80444323 @default.
• W76561517 hasConceptScore W76561517C108710211 @default.
• W76561517 hasConceptScore W76561517C111919701 @default.
• W76561517 hasConceptScore W76561517C121332964 @default.
• W76561517 hasConceptScore W76561517C126838900 @default.
• W76561517 hasConceptScore W76561517C127413603 @default.
• W76561517 hasConceptScore W76561517C154690210 @default.
• W76561517 hasConceptScore W76561517C18762648 @default.
• W76561517 hasConceptScore W76561517C199360897 @default.
• W76561517 hasConceptScore W76561517C2522767166 @default.
• W76561517 hasConceptScore W76561517C2524010 @default.
• W76561517 hasConceptScore W76561517C2777601897 @default.
• W76561517 hasConceptScore W76561517C2777904410 @default.
• W76561517 hasConceptScore W76561517C2778572836 @default.
• W76561517 hasConceptScore W76561517C33923547 @default.
• W76561517 hasConceptScore W76561517C41008148 @default.
• W76561517 hasConceptScore W76561517C61797465 @default.
• W76561517 hasConceptScore W76561517C62520636 @default.
• W76561517 hasConceptScore W76561517C71924100 @default.
• W76561517 hasConceptScore W76561517C78519656 @default.
• W76561517 hasConceptScore W76561517C80444323 @default.
• W76561517 hasLocation W765615171 @default.
• W76561517 hasOpenAccess W76561517 @default.
• W76561517 hasPrimaryLocation W765615171 @default.
• W76561517 hasRelatedWork W1580201628 @default.
• W76561517 hasRelatedWork W1768003599 @default.
• W76561517 hasRelatedWork W1970149335 @default.
• W76561517 hasRelatedWork W1979739595 @default.
• W76561517 hasRelatedWork W2038684689 @default.
• W76561517 hasRelatedWork W2079280457 @default.
• W76561517 hasRelatedWork W211119919 @default.
• W76561517 hasRelatedWork W2121449989 @default.
• W76561517 hasRelatedWork W2132384290 @default.
• W76561517 hasRelatedWork W2295831329 @default.
• W76561517 hasRelatedWork W259172776 @default.

• next