Matches in SemOpenAlex for { <https://semopenalex.org/work/W4221153874> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4221153874 abstract "Proofs (sequent calculus, natural deduction) and imperative algorithms (pseudocodes) are two well-known coexisting concepts. Then what is their relationship? Our answer is that [ imperative algorithms = proofs with cuts ] This observation leads to a generalization to pseudocodes which we call {it logical pseudocodes}. It is similar to natural deduction proof of computability logiccite{Jap03,Jap08}. Each statement in it corresponds to a proof step in natural deduction. Therefore, the merit over pseudocode is that each statement is guaranteed to be correct and safe with respect to the initial specifications. It can also be seen as an extension to computability logic web (colw) with forward reasoning capability." @default.
- W4221153874 created "2022-04-03" @default.
- W4221153874 creator A5007182198 @default.
- W4221153874 creator A5011856967 @default.
- W4221153874 date "2022-01-29" @default.
- W4221153874 modified "2023-10-16" @default.
- W4221153874 title "Logical Pseudocode: Connecting Algorithms with Proofs" @default.
- W4221153874 doi "https://doi.org/10.48550/arxiv.2201.12572" @default.
- W4221153874 hasPublicationYear "2022" @default.
- W4221153874 type Work @default.
- W4221153874 citedByCount "0" @default.
- W4221153874 crossrefType "posted-content" @default.
- W4221153874 hasAuthorship W4221153874A5007182198 @default.
- W4221153874 hasAuthorship W4221153874A5011856967 @default.
- W4221153874 hasBestOaLocation W42211538741 @default.
- W4221153874 hasConcept C105605280 @default.
- W4221153874 hasConcept C108710211 @default.
- W4221153874 hasConcept C111404639 @default.
- W4221153874 hasConcept C111472728 @default.
- W4221153874 hasConcept C11413529 @default.
- W4221153874 hasConcept C134306372 @default.
- W4221153874 hasConcept C138885662 @default.
- W4221153874 hasConcept C152062344 @default.
- W4221153874 hasConcept C173856430 @default.
- W4221153874 hasConcept C177148314 @default.
- W4221153874 hasConcept C195653647 @default.
- W4221153874 hasConcept C199343813 @default.
- W4221153874 hasConcept C199360897 @default.
- W4221153874 hasConcept C203265346 @default.
- W4221153874 hasConcept C206880738 @default.
- W4221153874 hasConcept C2318724 @default.
- W4221153874 hasConcept C2524010 @default.
- W4221153874 hasConcept C2777026412 @default.
- W4221153874 hasConcept C2777686260 @default.
- W4221153874 hasConcept C33923547 @default.
- W4221153874 hasConcept C41008148 @default.
- W4221153874 hasConcept C62073222 @default.
- W4221153874 hasConcept C6489637 @default.
- W4221153874 hasConcept C65880906 @default.
- W4221153874 hasConcept C71924100 @default.
- W4221153874 hasConcept C85343465 @default.
- W4221153874 hasConcept C89421646 @default.
- W4221153874 hasConceptScore W4221153874C105605280 @default.
- W4221153874 hasConceptScore W4221153874C108710211 @default.
- W4221153874 hasConceptScore W4221153874C111404639 @default.
- W4221153874 hasConceptScore W4221153874C111472728 @default.
- W4221153874 hasConceptScore W4221153874C11413529 @default.
- W4221153874 hasConceptScore W4221153874C134306372 @default.
- W4221153874 hasConceptScore W4221153874C138885662 @default.
- W4221153874 hasConceptScore W4221153874C152062344 @default.
- W4221153874 hasConceptScore W4221153874C173856430 @default.
- W4221153874 hasConceptScore W4221153874C177148314 @default.
- W4221153874 hasConceptScore W4221153874C195653647 @default.
- W4221153874 hasConceptScore W4221153874C199343813 @default.
- W4221153874 hasConceptScore W4221153874C199360897 @default.
- W4221153874 hasConceptScore W4221153874C203265346 @default.
- W4221153874 hasConceptScore W4221153874C206880738 @default.
- W4221153874 hasConceptScore W4221153874C2318724 @default.
- W4221153874 hasConceptScore W4221153874C2524010 @default.
- W4221153874 hasConceptScore W4221153874C2777026412 @default.
- W4221153874 hasConceptScore W4221153874C2777686260 @default.
- W4221153874 hasConceptScore W4221153874C33923547 @default.
- W4221153874 hasConceptScore W4221153874C41008148 @default.
- W4221153874 hasConceptScore W4221153874C62073222 @default.
- W4221153874 hasConceptScore W4221153874C6489637 @default.
- W4221153874 hasConceptScore W4221153874C65880906 @default.
- W4221153874 hasConceptScore W4221153874C71924100 @default.
- W4221153874 hasConceptScore W4221153874C85343465 @default.
- W4221153874 hasConceptScore W4221153874C89421646 @default.
- W4221153874 hasLocation W42211538741 @default.
- W4221153874 hasOpenAccess W4221153874 @default.
- W4221153874 hasPrimaryLocation W42211538741 @default.
- W4221153874 hasRelatedWork W1506616756 @default.
- W4221153874 hasRelatedWork W1534718845 @default.
- W4221153874 hasRelatedWork W1807903125 @default.
- W4221153874 hasRelatedWork W2108922266 @default.
- W4221153874 hasRelatedWork W2618076222 @default.
- W4221153874 hasRelatedWork W2650704808 @default.
- W4221153874 hasRelatedWork W2911183586 @default.
- W4221153874 hasRelatedWork W2913240377 @default.
- W4221153874 hasRelatedWork W2953934790 @default.
- W4221153874 hasRelatedWork W4221153874 @default.
- W4221153874 isParatext "false" @default.
- W4221153874 isRetracted "false" @default.
- W4221153874 workType "article" @default.