Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892091803> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2892091803 abstract "We present a recursive formulation of the Horn algorithm for deciding the satisfiability of propositional clauses. The usual presentations in imperative pseudo-code are informal and not suitable for simple proofs of its main properties. By defining the algorithm as a recursive function (computing a least fixed-point), we achieve: 1) a concise, yet rigorous, formalisation; 2) a clear form of visualising executions of the algorithm, step-by-step; 3) precise results, simple to state and with clean inductive proofs." @default.
- W2892091803 created "2018-09-27" @default.
- W2892091803 creator A5061342406 @default.
- W2892091803 date "2018-09-12" @default.
- W2892091803 modified "2023-10-02" @default.
- W2892091803 title "A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm" @default.
- W2892091803 cites W1537230380 @default.
- W2892091803 cites W1577102572 @default.
- W2892091803 cites W2011992362 @default.
- W2892091803 cites W2046213250 @default.
- W2892091803 cites W2087588854 @default.
- W2892091803 cites W2260577857 @default.
- W2892091803 cites W4251228600 @default.
- W2892091803 doi "https://doi.org/10.4204/eptcs.278.6" @default.
- W2892091803 hasPublicationYear "2018" @default.
- W2892091803 type Work @default.
- W2892091803 sameAs 2892091803 @default.
- W2892091803 citedByCount "0" @default.
- W2892091803 crossrefType "journal-article" @default.
- W2892091803 hasAuthorship W2892091803A5061342406 @default.
- W2892091803 hasBestOaLocation W28920918031 @default.
- W2892091803 hasConcept C108710211 @default.
- W2892091803 hasConcept C111472728 @default.
- W2892091803 hasConcept C11413529 @default.
- W2892091803 hasConcept C118615104 @default.
- W2892091803 hasConcept C138885662 @default.
- W2892091803 hasConcept C168773769 @default.
- W2892091803 hasConcept C177264268 @default.
- W2892091803 hasConcept C199343813 @default.
- W2892091803 hasConcept C199360897 @default.
- W2892091803 hasConcept C2524010 @default.
- W2892091803 hasConcept C2776760102 @default.
- W2892091803 hasConcept C2777686260 @default.
- W2892091803 hasConcept C2780586882 @default.
- W2892091803 hasConcept C2982939207 @default.
- W2892091803 hasConcept C33923547 @default.
- W2892091803 hasConcept C41008148 @default.
- W2892091803 hasConcept C55439883 @default.
- W2892091803 hasConcept C71924100 @default.
- W2892091803 hasConcept C80444323 @default.
- W2892091803 hasConceptScore W2892091803C108710211 @default.
- W2892091803 hasConceptScore W2892091803C111472728 @default.
- W2892091803 hasConceptScore W2892091803C11413529 @default.
- W2892091803 hasConceptScore W2892091803C118615104 @default.
- W2892091803 hasConceptScore W2892091803C138885662 @default.
- W2892091803 hasConceptScore W2892091803C168773769 @default.
- W2892091803 hasConceptScore W2892091803C177264268 @default.
- W2892091803 hasConceptScore W2892091803C199343813 @default.
- W2892091803 hasConceptScore W2892091803C199360897 @default.
- W2892091803 hasConceptScore W2892091803C2524010 @default.
- W2892091803 hasConceptScore W2892091803C2776760102 @default.
- W2892091803 hasConceptScore W2892091803C2777686260 @default.
- W2892091803 hasConceptScore W2892091803C2780586882 @default.
- W2892091803 hasConceptScore W2892091803C2982939207 @default.
- W2892091803 hasConceptScore W2892091803C33923547 @default.
- W2892091803 hasConceptScore W2892091803C41008148 @default.
- W2892091803 hasConceptScore W2892091803C55439883 @default.
- W2892091803 hasConceptScore W2892091803C71924100 @default.
- W2892091803 hasConceptScore W2892091803C80444323 @default.
- W2892091803 hasLocation W28920918031 @default.
- W2892091803 hasLocation W28920918032 @default.
- W2892091803 hasLocation W28920918033 @default.
- W2892091803 hasOpenAccess W2892091803 @default.
- W2892091803 hasPrimaryLocation W28920918031 @default.
- W2892091803 hasRelatedWork W1019628555 @default.
- W2892091803 hasRelatedWork W1504113557 @default.
- W2892091803 hasRelatedWork W1529897089 @default.
- W2892091803 hasRelatedWork W2008717650 @default.
- W2892091803 hasRelatedWork W2116536633 @default.
- W2892091803 hasRelatedWork W2129292104 @default.
- W2892091803 hasRelatedWork W2900629806 @default.
- W2892091803 hasRelatedWork W2950028700 @default.
- W2892091803 hasRelatedWork W3008492407 @default.
- W2892091803 hasRelatedWork W3030842888 @default.
- W2892091803 isParatext "false" @default.
- W2892091803 isRetracted "false" @default.
- W2892091803 magId "2892091803" @default.
- W2892091803 workType "article" @default.