Matches in SemOpenAlex for { <https://semopenalex.org/work/W1749708114> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1749708114 abstract "This report investigates two semantic embeddings of Z schemas in Isabelle/HOL. The first represents Z values as elements of a type class with polymorphic type constructors and overloaded operators. In contrast, the second embedding uses a Z universe: all Z values are represented as elements of a single monomorphic HOL type." @default.
- W1749708114 created "2016-06-24" @default.
- W1749708114 creator A5027331870 @default.
- W1749708114 date "2001-10-02" @default.
- W1749708114 modified "2023-09-27" @default.
- W1749708114 title "CSM-344 - Two Semantic Embeddings of Z Schemas in Isabelle/HOL" @default.
- W1749708114 hasPublicationYear "2001" @default.
- W1749708114 type Work @default.
- W1749708114 sameAs 1749708114 @default.
- W1749708114 citedByCount "0" @default.
- W1749708114 crossrefType "journal-article" @default.
- W1749708114 hasAuthorship W1749708114A5027331870 @default.
- W1749708114 hasConcept C121332964 @default.
- W1749708114 hasConcept C154945302 @default.
- W1749708114 hasConcept C17435882 @default.
- W1749708114 hasConcept C18903297 @default.
- W1749708114 hasConcept C199360897 @default.
- W1749708114 hasConcept C2777212361 @default.
- W1749708114 hasConcept C2777299769 @default.
- W1749708114 hasConcept C33923547 @default.
- W1749708114 hasConcept C41008148 @default.
- W1749708114 hasConcept C41608201 @default.
- W1749708114 hasConcept C44870925 @default.
- W1749708114 hasConcept C84999194 @default.
- W1749708114 hasConcept C86803240 @default.
- W1749708114 hasConceptScore W1749708114C121332964 @default.
- W1749708114 hasConceptScore W1749708114C154945302 @default.
- W1749708114 hasConceptScore W1749708114C17435882 @default.
- W1749708114 hasConceptScore W1749708114C18903297 @default.
- W1749708114 hasConceptScore W1749708114C199360897 @default.
- W1749708114 hasConceptScore W1749708114C2777212361 @default.
- W1749708114 hasConceptScore W1749708114C2777299769 @default.
- W1749708114 hasConceptScore W1749708114C33923547 @default.
- W1749708114 hasConceptScore W1749708114C41008148 @default.
- W1749708114 hasConceptScore W1749708114C41608201 @default.
- W1749708114 hasConceptScore W1749708114C44870925 @default.
- W1749708114 hasConceptScore W1749708114C84999194 @default.
- W1749708114 hasConceptScore W1749708114C86803240 @default.
- W1749708114 hasLocation W17497081141 @default.
- W1749708114 hasOpenAccess W1749708114 @default.
- W1749708114 hasPrimaryLocation W17497081141 @default.
- W1749708114 hasRelatedWork W1476021980 @default.
- W1749708114 hasRelatedWork W1491506840 @default.
- W1749708114 hasRelatedWork W1518766591 @default.
- W1749708114 hasRelatedWork W1545094754 @default.
- W1749708114 hasRelatedWork W1578126653 @default.
- W1749708114 hasRelatedWork W1584909899 @default.
- W1749708114 hasRelatedWork W1595729710 @default.
- W1749708114 hasRelatedWork W2074756472 @default.
- W1749708114 hasRelatedWork W2112776683 @default.
- W1749708114 hasRelatedWork W2152762348 @default.
- W1749708114 hasRelatedWork W2240654589 @default.
- W1749708114 hasRelatedWork W2488318472 @default.
- W1749708114 hasRelatedWork W2895168931 @default.
- W1749708114 isParatext "false" @default.
- W1749708114 isRetracted "false" @default.
- W1749708114 magId "1749708114" @default.
- W1749708114 workType "article" @default.