Matches in SemOpenAlex for { <https://semopenalex.org/work/W82673046> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W82673046 abstract "This paper illustrates the differences between the style of theory mechanisation of Coq and of HOL. This comparative study is based on the mechanisation of fragments of the theory of computation in these systems. Examples from these implementations are given to support some of the arguments discussed in this paper. The mechanisms for specifying definitions and for theorem proving are discussed separately, building in parallel two pictures of the different approaches of mechanisation given by these systems." @default.
- W82673046 created "2016-06-24" @default.
- W82673046 creator A5025160785 @default.
- W82673046 date "1997-01-01" @default.
- W82673046 modified "2023-09-28" @default.
- W82673046 title "A comparative study of Coq and HOL" @default.
- W82673046 cites W1511774588 @default.
- W82673046 cites W1514798374 @default.
- W82673046 cites W1547508266 @default.
- W82673046 cites W1588723084 @default.
- W82673046 cites W1595467526 @default.
- W82673046 cites W1814638771 @default.
- W82673046 cites W1830075495 @default.
- W82673046 cites W1862378448 @default.
- W82673046 cites W1996404651 @default.
- W82673046 cites W2086054252 @default.
- W82673046 cites W2135625856 @default.
- W82673046 cites W2546854926 @default.
- W82673046 cites W4247585886 @default.
- W82673046 cites W4256124958 @default.
- W82673046 cites W54681483 @default.
- W82673046 doi "https://doi.org/10.1007/bfb0028403" @default.
- W82673046 hasPublicationYear "1997" @default.
- W82673046 type Work @default.
- W82673046 sameAs 82673046 @default.
- W82673046 citedByCount "10" @default.
- W82673046 countsByYear W826730462013 @default.
- W82673046 countsByYear W826730462017 @default.
- W82673046 countsByYear W826730462021 @default.
- W82673046 countsByYear W826730462022 @default.
- W82673046 crossrefType "book-chapter" @default.
- W82673046 hasAuthorship W82673046A5025160785 @default.
- W82673046 hasBestOaLocation W826730462 @default.
- W82673046 hasConcept C108710211 @default.
- W82673046 hasConcept C136119220 @default.
- W82673046 hasConcept C17435882 @default.
- W82673046 hasConcept C199360897 @default.
- W82673046 hasConcept C202444582 @default.
- W82673046 hasConcept C203265346 @default.
- W82673046 hasConcept C206880738 @default.
- W82673046 hasConcept C2524010 @default.
- W82673046 hasConcept C26713055 @default.
- W82673046 hasConcept C33923547 @default.
- W82673046 hasConcept C41008148 @default.
- W82673046 hasConcept C45374587 @default.
- W82673046 hasConcept C80444323 @default.
- W82673046 hasConceptScore W82673046C108710211 @default.
- W82673046 hasConceptScore W82673046C136119220 @default.
- W82673046 hasConceptScore W82673046C17435882 @default.
- W82673046 hasConceptScore W82673046C199360897 @default.
- W82673046 hasConceptScore W82673046C202444582 @default.
- W82673046 hasConceptScore W82673046C203265346 @default.
- W82673046 hasConceptScore W82673046C206880738 @default.
- W82673046 hasConceptScore W82673046C2524010 @default.
- W82673046 hasConceptScore W82673046C26713055 @default.
- W82673046 hasConceptScore W82673046C33923547 @default.
- W82673046 hasConceptScore W82673046C41008148 @default.
- W82673046 hasConceptScore W82673046C45374587 @default.
- W82673046 hasConceptScore W82673046C80444323 @default.
- W82673046 hasLocation W826730461 @default.
- W82673046 hasLocation W826730462 @default.
- W82673046 hasLocation W826730463 @default.
- W82673046 hasOpenAccess W82673046 @default.
- W82673046 hasPrimaryLocation W826730461 @default.
- W82673046 hasRelatedWork W1249704292 @default.
- W82673046 hasRelatedWork W1504641291 @default.
- W82673046 hasRelatedWork W1514798374 @default.
- W82673046 hasRelatedWork W1521890309 @default.
- W82673046 hasRelatedWork W1553457932 @default.
- W82673046 hasRelatedWork W1570762047 @default.
- W82673046 hasRelatedWork W1575011135 @default.
- W82673046 hasRelatedWork W160320105 @default.
- W82673046 hasRelatedWork W1819460135 @default.
- W82673046 hasRelatedWork W188775843 @default.
- W82673046 hasRelatedWork W1981484178 @default.
- W82673046 hasRelatedWork W2034168949 @default.
- W82673046 hasRelatedWork W2131156825 @default.
- W82673046 hasRelatedWork W2144907233 @default.
- W82673046 hasRelatedWork W2147348330 @default.
- W82673046 hasRelatedWork W2751465014 @default.
- W82673046 hasRelatedWork W2963437651 @default.
- W82673046 hasRelatedWork W2971921403 @default.
- W82673046 hasRelatedWork W2511213791 @default.
- W82673046 hasRelatedWork W2785851014 @default.
- W82673046 isParatext "false" @default.
- W82673046 isRetracted "false" @default.
- W82673046 magId "82673046" @default.
- W82673046 workType "book-chapter" @default.