Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980591330> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1980591330 endingPage "434" @default.
- W1980591330 startingPage "423" @default.
- W1980591330 abstract "We discuss the question of constructive proofs, or polynomial-time algorithms, for theorems which were proved earlier nonconstructively. We present a formal model for such statements and give a collection of examples. In a greater detail, we deal with the problem of finding another Hamiltonian cycle in a cubic graph provided that one cycle is already known. A relation to combinatorial optimization is also considered." @default.
- W1980591330 created "2016-06-24" @default.
- W1980591330 creator A5004675707 @default.
- W1980591330 date "1993-02-01" @default.
- W1980591330 modified "2023-09-27" @default.
- W1980591330 title "On existence theorems" @default.
- W1980591330 cites W1504855246 @default.
- W1980591330 cites W1530753374 @default.
- W1980591330 cites W1552744309 @default.
- W1980591330 cites W1559328638 @default.
- W1980591330 cites W167630282 @default.
- W1980591330 cites W1963607038 @default.
- W1980591330 cites W1996672997 @default.
- W1980591330 cites W2000467025 @default.
- W1980591330 cites W2000934872 @default.
- W1980591330 cites W2003073299 @default.
- W1980591330 cites W2005180798 @default.
- W1980591330 cites W2005354172 @default.
- W1980591330 cites W2011039300 @default.
- W1980591330 cites W2018989589 @default.
- W1980591330 cites W2022151444 @default.
- W1980591330 cites W2022392080 @default.
- W1980591330 cites W2033096960 @default.
- W1980591330 cites W2038562737 @default.
- W1980591330 cites W2050065904 @default.
- W1980591330 cites W2061848409 @default.
- W1980591330 cites W2072606618 @default.
- W1980591330 cites W2079229279 @default.
- W1980591330 cites W2094489666 @default.
- W1980591330 cites W2100440346 @default.
- W1980591330 cites W2103981148 @default.
- W1980591330 cites W2155943357 @default.
- W1980591330 cites W2169359757 @default.
- W1980591330 cites W2312821511 @default.
- W1980591330 cites W2404213135 @default.
- W1980591330 cites W3203668817 @default.
- W1980591330 doi "https://doi.org/10.1016/0012-365x(93)90180-2" @default.
- W1980591330 hasPublicationYear "1993" @default.
- W1980591330 type Work @default.
- W1980591330 sameAs 1980591330 @default.
- W1980591330 citedByCount "3" @default.
- W1980591330 crossrefType "journal-article" @default.
- W1980591330 hasAuthorship W1980591330A5004675707 @default.
- W1980591330 hasConcept C108710211 @default.
- W1980591330 hasConcept C111919701 @default.
- W1980591330 hasConcept C114614502 @default.
- W1980591330 hasConcept C118615104 @default.
- W1980591330 hasConcept C132525143 @default.
- W1980591330 hasConcept C2524010 @default.
- W1980591330 hasConcept C2778701210 @default.
- W1980591330 hasConcept C33923547 @default.
- W1980591330 hasConcept C41008148 @default.
- W1980591330 hasConcept C86524685 @default.
- W1980591330 hasConcept C98045186 @default.
- W1980591330 hasConceptScore W1980591330C108710211 @default.
- W1980591330 hasConceptScore W1980591330C111919701 @default.
- W1980591330 hasConceptScore W1980591330C114614502 @default.
- W1980591330 hasConceptScore W1980591330C118615104 @default.
- W1980591330 hasConceptScore W1980591330C132525143 @default.
- W1980591330 hasConceptScore W1980591330C2524010 @default.
- W1980591330 hasConceptScore W1980591330C2778701210 @default.
- W1980591330 hasConceptScore W1980591330C33923547 @default.
- W1980591330 hasConceptScore W1980591330C41008148 @default.
- W1980591330 hasConceptScore W1980591330C86524685 @default.
- W1980591330 hasConceptScore W1980591330C98045186 @default.
- W1980591330 hasIssue "1-3" @default.
- W1980591330 hasLocation W19805913301 @default.
- W1980591330 hasOpenAccess W1980591330 @default.
- W1980591330 hasPrimaryLocation W19805913301 @default.
- W1980591330 hasRelatedWork W1953770551 @default.
- W1980591330 hasRelatedWork W1966706905 @default.
- W1980591330 hasRelatedWork W1977636084 @default.
- W1980591330 hasRelatedWork W1980591330 @default.
- W1980591330 hasRelatedWork W2006315978 @default.
- W1980591330 hasRelatedWork W2027682382 @default.
- W1980591330 hasRelatedWork W2085970062 @default.
- W1980591330 hasRelatedWork W3002473473 @default.
- W1980591330 hasRelatedWork W3037547490 @default.
- W1980591330 hasRelatedWork W3211749694 @default.
- W1980591330 hasVolume "111" @default.
- W1980591330 isParatext "false" @default.
- W1980591330 isRetracted "false" @default.
- W1980591330 magId "1980591330" @default.
- W1980591330 workType "article" @default.