Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488933458> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1488933458 endingPage "80" @default.
- W1488933458 startingPage "66" @default.
- W1488933458 abstract "We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization shows that adding a choice command to a Ptime language (the language WHILE of Jones [1]) may not necessarily provide NPtime computations. The result is close to Cook in [2] who used “auxiliary push-down automata”. Logspace is obtained through a decidable mechanism of tiering. It is based on an analysis of deforestation due to Wadler in [3]. We get also a characterization of NLogspace." @default.
- W1488933458 created "2016-06-24" @default.
- W1488933458 creator A5005464312 @default.
- W1488933458 date "2006-01-01" @default.
- W1488933458 modified "2023-10-09" @default.
- W1488933458 title "Some Programming Languages for Logspace and Ptime" @default.
- W1488933458 cites W1509680334 @default.
- W1488933458 cites W1529772810 @default.
- W1488933458 cites W1548852834 @default.
- W1488933458 cites W1600160075 @default.
- W1488933458 cites W1792924550 @default.
- W1488933458 cites W2013132887 @default.
- W1488933458 cites W2027321599 @default.
- W1488933458 cites W2041688914 @default.
- W1488933458 cites W2045962051 @default.
- W1488933458 cites W2069792094 @default.
- W1488933458 cites W2079275582 @default.
- W1488933458 cites W2089982125 @default.
- W1488933458 cites W2170698790 @default.
- W1488933458 cites W3022332613 @default.
- W1488933458 cites W4248695203 @default.
- W1488933458 cites W4301330952 @default.
- W1488933458 doi "https://doi.org/10.1007/11784180_8" @default.
- W1488933458 hasPublicationYear "2006" @default.
- W1488933458 type Work @default.
- W1488933458 sameAs 1488933458 @default.
- W1488933458 citedByCount "8" @default.
- W1488933458 countsByYear W14889334582013 @default.
- W1488933458 countsByYear W14889334582014 @default.
- W1488933458 countsByYear W14889334582017 @default.
- W1488933458 countsByYear W14889334582020 @default.
- W1488933458 countsByYear W14889334582023 @default.
- W1488933458 crossrefType "book-chapter" @default.
- W1488933458 hasAuthorship W1488933458A5005464312 @default.
- W1488933458 hasBestOaLocation W14889334582 @default.
- W1488933458 hasConcept C112505250 @default.
- W1488933458 hasConcept C11413529 @default.
- W1488933458 hasConcept C134026603 @default.
- W1488933458 hasConcept C153269930 @default.
- W1488933458 hasConcept C171250308 @default.
- W1488933458 hasConcept C192562407 @default.
- W1488933458 hasConcept C199360897 @default.
- W1488933458 hasConcept C2780841128 @default.
- W1488933458 hasConcept C311688 @default.
- W1488933458 hasConcept C41008148 @default.
- W1488933458 hasConcept C5852641 @default.
- W1488933458 hasConcept C80444323 @default.
- W1488933458 hasConceptScore W1488933458C112505250 @default.
- W1488933458 hasConceptScore W1488933458C11413529 @default.
- W1488933458 hasConceptScore W1488933458C134026603 @default.
- W1488933458 hasConceptScore W1488933458C153269930 @default.
- W1488933458 hasConceptScore W1488933458C171250308 @default.
- W1488933458 hasConceptScore W1488933458C192562407 @default.
- W1488933458 hasConceptScore W1488933458C199360897 @default.
- W1488933458 hasConceptScore W1488933458C2780841128 @default.
- W1488933458 hasConceptScore W1488933458C311688 @default.
- W1488933458 hasConceptScore W1488933458C41008148 @default.
- W1488933458 hasConceptScore W1488933458C5852641 @default.
- W1488933458 hasConceptScore W1488933458C80444323 @default.
- W1488933458 hasLocation W14889334581 @default.
- W1488933458 hasLocation W14889334582 @default.
- W1488933458 hasLocation W14889334583 @default.
- W1488933458 hasOpenAccess W1488933458 @default.
- W1488933458 hasPrimaryLocation W14889334581 @default.
- W1488933458 hasRelatedWork W153904579 @default.
- W1488933458 hasRelatedWork W1572952339 @default.
- W1488933458 hasRelatedWork W2058644917 @default.
- W1488933458 hasRelatedWork W2087537885 @default.
- W1488933458 hasRelatedWork W2292959956 @default.
- W1488933458 hasRelatedWork W2401071683 @default.
- W1488933458 hasRelatedWork W3167834266 @default.
- W1488933458 hasRelatedWork W4235600985 @default.
- W1488933458 hasRelatedWork W2560921482 @default.
- W1488933458 hasRelatedWork W2788094376 @default.
- W1488933458 isParatext "false" @default.
- W1488933458 isRetracted "false" @default.
- W1488933458 magId "1488933458" @default.
- W1488933458 workType "book-chapter" @default.