Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118758698> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2118758698 endingPage "42" @default.
- W2118758698 startingPage "23" @default.
- W2118758698 abstract "We discuss the formalization, in the Matita Theorem Prover, of basic results on multi-tapes Turing machines, up to the existence of a (certified) Universal Machine, and propose it as a natural benchmark for comparing different interactive provers and assessing the state of the art in the mechanization of formal reasoning. The work is meant to be a preliminary step towards the creation of a formal repository in Complexity Theory, and is a small piece in our long-term Reverse Complexity program, aiming to a comfortable, machine independent axiomatization of the field." @default.
- W2118758698 created "2016-06-24" @default.
- W2118758698 creator A5032765727 @default.
- W2118758698 creator A5068699841 @default.
- W2118758698 date "2015-10-01" @default.
- W2118758698 modified "2023-10-17" @default.
- W2118758698 title "A formalization of multi-tape Turing machines" @default.
- W2118758698 cites W1968608688 @default.
- W2118758698 cites W2000062667 @default.
- W2118758698 cites W2004471951 @default.
- W2118758698 cites W2019404692 @default.
- W2118758698 cites W2029872977 @default.
- W2118758698 cites W2047442766 @default.
- W2118758698 cites W2069980124 @default.
- W2118758698 cites W2088975898 @default.
- W2118758698 cites W2125495920 @default.
- W2118758698 cites W4250385818 @default.
- W2118758698 doi "https://doi.org/10.1016/j.tcs.2015.07.013" @default.
- W2118758698 hasPublicationYear "2015" @default.
- W2118758698 type Work @default.
- W2118758698 sameAs 2118758698 @default.
- W2118758698 citedByCount "12" @default.
- W2118758698 countsByYear W21187586982015 @default.
- W2118758698 countsByYear W21187586982017 @default.
- W2118758698 countsByYear W21187586982018 @default.
- W2118758698 countsByYear W21187586982019 @default.
- W2118758698 countsByYear W21187586982020 @default.
- W2118758698 countsByYear W21187586982021 @default.
- W2118758698 crossrefType "journal-article" @default.
- W2118758698 hasAuthorship W2118758698A5032765727 @default.
- W2118758698 hasAuthorship W2118758698A5068699841 @default.
- W2118758698 hasBestOaLocation W21187586981 @default.
- W2118758698 hasConcept C108710211 @default.
- W2118758698 hasConcept C131671149 @default.
- W2118758698 hasConcept C13280743 @default.
- W2118758698 hasConcept C179061269 @default.
- W2118758698 hasConcept C185798385 @default.
- W2118758698 hasConcept C199360897 @default.
- W2118758698 hasConcept C202444582 @default.
- W2118758698 hasConcept C203265346 @default.
- W2118758698 hasConcept C205649164 @default.
- W2118758698 hasConcept C206880738 @default.
- W2118758698 hasConcept C2524010 @default.
- W2118758698 hasConcept C29248071 @default.
- W2118758698 hasConcept C31402856 @default.
- W2118758698 hasConcept C33923547 @default.
- W2118758698 hasConcept C41008148 @default.
- W2118758698 hasConcept C45374587 @default.
- W2118758698 hasConcept C48415503 @default.
- W2118758698 hasConcept C75606506 @default.
- W2118758698 hasConcept C80444323 @default.
- W2118758698 hasConcept C9652623 @default.
- W2118758698 hasConceptScore W2118758698C108710211 @default.
- W2118758698 hasConceptScore W2118758698C131671149 @default.
- W2118758698 hasConceptScore W2118758698C13280743 @default.
- W2118758698 hasConceptScore W2118758698C179061269 @default.
- W2118758698 hasConceptScore W2118758698C185798385 @default.
- W2118758698 hasConceptScore W2118758698C199360897 @default.
- W2118758698 hasConceptScore W2118758698C202444582 @default.
- W2118758698 hasConceptScore W2118758698C203265346 @default.
- W2118758698 hasConceptScore W2118758698C205649164 @default.
- W2118758698 hasConceptScore W2118758698C206880738 @default.
- W2118758698 hasConceptScore W2118758698C2524010 @default.
- W2118758698 hasConceptScore W2118758698C29248071 @default.
- W2118758698 hasConceptScore W2118758698C31402856 @default.
- W2118758698 hasConceptScore W2118758698C33923547 @default.
- W2118758698 hasConceptScore W2118758698C41008148 @default.
- W2118758698 hasConceptScore W2118758698C45374587 @default.
- W2118758698 hasConceptScore W2118758698C48415503 @default.
- W2118758698 hasConceptScore W2118758698C75606506 @default.
- W2118758698 hasConceptScore W2118758698C80444323 @default.
- W2118758698 hasConceptScore W2118758698C9652623 @default.
- W2118758698 hasFunder F4320321788 @default.
- W2118758698 hasLocation W21187586981 @default.
- W2118758698 hasLocation W21187586982 @default.
- W2118758698 hasLocation W21187586983 @default.
- W2118758698 hasOpenAccess W2118758698 @default.
- W2118758698 hasPrimaryLocation W21187586981 @default.
- W2118758698 hasRelatedWork W1483817375 @default.
- W2118758698 hasRelatedWork W1527973804 @default.
- W2118758698 hasRelatedWork W1556623397 @default.
- W2118758698 hasRelatedWork W1779583967 @default.
- W2118758698 hasRelatedWork W1978271909 @default.
- W2118758698 hasRelatedWork W2063572548 @default.
- W2118758698 hasRelatedWork W2401794038 @default.
- W2118758698 hasRelatedWork W3037105743 @default.
- W2118758698 hasRelatedWork W4255638962 @default.
- W2118758698 hasRelatedWork W4293150887 @default.
- W2118758698 hasVolume "603" @default.
- W2118758698 isParatext "false" @default.
- W2118758698 isRetracted "false" @default.
- W2118758698 magId "2118758698" @default.
- W2118758698 workType "article" @default.