Matches in SemOpenAlex for { <https://semopenalex.org/work/W30953977> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W30953977 abstract "This chapter presents three languages allowing to express algorithms: rewriting, the lambda-calculus, and Turing machines. It emphases the fact that, behind this apparent diversity, there is a deep unifying notion: that a computation is a sequence of small steps." @default.
- W30953977 created "2016-06-24" @default.
- W30953977 creator A5073164575 @default.
- W30953977 date "2011-01-01" @default.
- W30953977 modified "2023-09-25" @default.
- W30953977 title "Computation as a Sequence of Small Steps" @default.
- W30953977 doi "https://doi.org/10.1007/978-0-85729-121-9_4" @default.
- W30953977 hasPublicationYear "2011" @default.
- W30953977 type Work @default.
- W30953977 sameAs 30953977 @default.
- W30953977 citedByCount "0" @default.
- W30953977 crossrefType "book-chapter" @default.
- W30953977 hasAuthorship W30953977A5073164575 @default.
- W30953977 hasConcept C11413529 @default.
- W30953977 hasConcept C135790938 @default.
- W30953977 hasConcept C142156749 @default.
- W30953977 hasConcept C154690210 @default.
- W30953977 hasConcept C199360897 @default.
- W30953977 hasConcept C2778112365 @default.
- W30953977 hasConcept C29248071 @default.
- W30953977 hasConcept C41008148 @default.
- W30953977 hasConcept C45374587 @default.
- W30953977 hasConcept C54355233 @default.
- W30953977 hasConcept C61237538 @default.
- W30953977 hasConcept C80444323 @default.
- W30953977 hasConcept C86803240 @default.
- W30953977 hasConcept C9870796 @default.
- W30953977 hasConceptScore W30953977C11413529 @default.
- W30953977 hasConceptScore W30953977C135790938 @default.
- W30953977 hasConceptScore W30953977C142156749 @default.
- W30953977 hasConceptScore W30953977C154690210 @default.
- W30953977 hasConceptScore W30953977C199360897 @default.
- W30953977 hasConceptScore W30953977C2778112365 @default.
- W30953977 hasConceptScore W30953977C29248071 @default.
- W30953977 hasConceptScore W30953977C41008148 @default.
- W30953977 hasConceptScore W30953977C45374587 @default.
- W30953977 hasConceptScore W30953977C54355233 @default.
- W30953977 hasConceptScore W30953977C61237538 @default.
- W30953977 hasConceptScore W30953977C80444323 @default.
- W30953977 hasConceptScore W30953977C86803240 @default.
- W30953977 hasConceptScore W30953977C9870796 @default.
- W30953977 hasLocation W309539771 @default.
- W30953977 hasOpenAccess W30953977 @default.
- W30953977 hasPrimaryLocation W309539771 @default.
- W30953977 hasRelatedWork W1491862487 @default.
- W30953977 hasRelatedWork W1556566454 @default.
- W30953977 hasRelatedWork W1925656416 @default.
- W30953977 hasRelatedWork W1977666532 @default.
- W30953977 hasRelatedWork W2075033069 @default.
- W30953977 hasRelatedWork W2111129500 @default.
- W30953977 hasRelatedWork W2121397369 @default.
- W30953977 hasRelatedWork W2269752188 @default.
- W30953977 hasRelatedWork W2482867025 @default.
- W30953977 hasRelatedWork W2490227533 @default.
- W30953977 hasRelatedWork W2494938727 @default.
- W30953977 hasRelatedWork W258260378 @default.
- W30953977 hasRelatedWork W2786691821 @default.
- W30953977 hasRelatedWork W2949837778 @default.
- W30953977 hasRelatedWork W2952998734 @default.
- W30953977 hasRelatedWork W2958009352 @default.
- W30953977 hasRelatedWork W3001463320 @default.
- W30953977 hasRelatedWork W3097947344 @default.
- W30953977 hasRelatedWork W7377384 @default.
- W30953977 hasRelatedWork W3151284614 @default.
- W30953977 isParatext "false" @default.
- W30953977 isRetracted "false" @default.
- W30953977 magId "30953977" @default.
- W30953977 workType "book-chapter" @default.