Matches in SemOpenAlex for { <https://semopenalex.org/work/W1738285922> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1738285922 endingPage "93" @default.
- W1738285922 startingPage "80" @default.
- W1738285922 abstract "We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and sub-mechanisms and is well-suited to the proof-planning paradigm. The system (adeptus), that we present in this paper, synthesised a decision procedure for ground arithmetic completely automatically and it used some specific method generators in generating a decision procedure for linear arithmetic, in only a few seconds of cpu time. We believe that this approach can lead to automated assistance in constructing decision procedures and to more reliable implementations of decision procedures." @default.
- W1738285922 created "2016-06-24" @default.
- W1738285922 creator A5040311876 @default.
- W1738285922 creator A5085623977 @default.
- W1738285922 date "2007-08-14" @default.
- W1738285922 modified "2023-09-28" @default.
- W1738285922 title "Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic" @default.
- W1738285922 cites W1497869606 @default.
- W1738285922 cites W1581769579 @default.
- W1738285922 cites W1656633205 @default.
- W1738285922 cites W2000600476 @default.
- W1738285922 cites W2011783093 @default.
- W1738285922 cites W2169235184 @default.
- W1738285922 doi "https://doi.org/10.1007/978-3-540-73086-6_7" @default.
- W1738285922 hasPublicationYear "2007" @default.
- W1738285922 type Work @default.
- W1738285922 sameAs 1738285922 @default.
- W1738285922 citedByCount "1" @default.
- W1738285922 countsByYear W17382859222012 @default.
- W1738285922 crossrefType "book-chapter" @default.
- W1738285922 hasAuthorship W1738285922A5040311876 @default.
- W1738285922 hasAuthorship W1738285922A5085623977 @default.
- W1738285922 hasBestOaLocation W17382859222 @default.
- W1738285922 hasConcept C11413529 @default.
- W1738285922 hasConcept C199360897 @default.
- W1738285922 hasConcept C26713055 @default.
- W1738285922 hasConcept C33923547 @default.
- W1738285922 hasConcept C41008148 @default.
- W1738285922 hasConcept C94375191 @default.
- W1738285922 hasConceptScore W1738285922C11413529 @default.
- W1738285922 hasConceptScore W1738285922C199360897 @default.
- W1738285922 hasConceptScore W1738285922C26713055 @default.
- W1738285922 hasConceptScore W1738285922C33923547 @default.
- W1738285922 hasConceptScore W1738285922C41008148 @default.
- W1738285922 hasConceptScore W1738285922C94375191 @default.
- W1738285922 hasLocation W17382859221 @default.
- W1738285922 hasLocation W17382859222 @default.
- W1738285922 hasOpenAccess W1738285922 @default.
- W1738285922 hasPrimaryLocation W17382859221 @default.
- W1738285922 hasRelatedWork W1485630101 @default.
- W1738285922 hasRelatedWork W1596157658 @default.
- W1738285922 hasRelatedWork W1824798286 @default.
- W1738285922 hasRelatedWork W1964111820 @default.
- W1738285922 hasRelatedWork W2063727421 @default.
- W1738285922 hasRelatedWork W2083338789 @default.
- W1738285922 hasRelatedWork W2112690207 @default.
- W1738285922 hasRelatedWork W2741796204 @default.
- W1738285922 hasRelatedWork W4244853187 @default.
- W1738285922 hasRelatedWork W1501086624 @default.
- W1738285922 isParatext "false" @default.
- W1738285922 isRetracted "false" @default.
- W1738285922 magId "1738285922" @default.
- W1738285922 workType "book-chapter" @default.