Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073164820> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2073164820 endingPage "129" @default.
- W2073164820 startingPage "111" @default.
- W2073164820 abstract "This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, some new additional schema operators and extensions to a programming and program development logic." @default.
- W2073164820 created "2016-06-24" @default.
- W2073164820 creator A5028522232 @default.
- W2073164820 creator A5061099040 @default.
- W2073164820 date "2005-07-01" @default.
- W2073164820 modified "2023-10-16" @default.
- W2073164820 title "The Specification Logic νZ" @default.
- W2073164820 cites W4239915417 @default.
- W2073164820 doi "https://doi.org/10.1016/j.entcs.2005.04.027" @default.
- W2073164820 hasPublicationYear "2005" @default.
- W2073164820 type Work @default.
- W2073164820 sameAs 2073164820 @default.
- W2073164820 citedByCount "1" @default.
- W2073164820 crossrefType "journal-article" @default.
- W2073164820 hasAuthorship W2073164820A5028522232 @default.
- W2073164820 hasAuthorship W2073164820A5061099040 @default.
- W2073164820 hasBestOaLocation W20731648201 @default.
- W2073164820 hasConcept C102993220 @default.
- W2073164820 hasConcept C119599485 @default.
- W2073164820 hasConcept C119857082 @default.
- W2073164820 hasConcept C127413603 @default.
- W2073164820 hasConcept C128838566 @default.
- W2073164820 hasConcept C165801399 @default.
- W2073164820 hasConcept C169896238 @default.
- W2073164820 hasConcept C172385210 @default.
- W2073164820 hasConcept C19689857 @default.
- W2073164820 hasConcept C199360897 @default.
- W2073164820 hasConcept C203659156 @default.
- W2073164820 hasConcept C2777796570 @default.
- W2073164820 hasConcept C33923547 @default.
- W2073164820 hasConcept C41008148 @default.
- W2073164820 hasConcept C52146309 @default.
- W2073164820 hasConcept C80444323 @default.
- W2073164820 hasConceptScore W2073164820C102993220 @default.
- W2073164820 hasConceptScore W2073164820C119599485 @default.
- W2073164820 hasConceptScore W2073164820C119857082 @default.
- W2073164820 hasConceptScore W2073164820C127413603 @default.
- W2073164820 hasConceptScore W2073164820C128838566 @default.
- W2073164820 hasConceptScore W2073164820C165801399 @default.
- W2073164820 hasConceptScore W2073164820C169896238 @default.
- W2073164820 hasConceptScore W2073164820C172385210 @default.
- W2073164820 hasConceptScore W2073164820C19689857 @default.
- W2073164820 hasConceptScore W2073164820C199360897 @default.
- W2073164820 hasConceptScore W2073164820C203659156 @default.
- W2073164820 hasConceptScore W2073164820C2777796570 @default.
- W2073164820 hasConceptScore W2073164820C33923547 @default.
- W2073164820 hasConceptScore W2073164820C41008148 @default.
- W2073164820 hasConceptScore W2073164820C52146309 @default.
- W2073164820 hasConceptScore W2073164820C80444323 @default.
- W2073164820 hasIssue "2" @default.
- W2073164820 hasLocation W20731648201 @default.
- W2073164820 hasOpenAccess W2073164820 @default.
- W2073164820 hasPrimaryLocation W20731648201 @default.
- W2073164820 hasRelatedWork W1498885309 @default.
- W2073164820 hasRelatedWork W1507648666 @default.
- W2073164820 hasRelatedWork W1528900342 @default.
- W2073164820 hasRelatedWork W1540220550 @default.
- W2073164820 hasRelatedWork W1542632923 @default.
- W2073164820 hasRelatedWork W1582223186 @default.
- W2073164820 hasRelatedWork W2186672158 @default.
- W2073164820 hasRelatedWork W4285428802 @default.
- W2073164820 hasRelatedWork W566359488 @default.
- W2073164820 hasRelatedWork W67661772 @default.
- W2073164820 hasVolume "137" @default.
- W2073164820 isParatext "false" @default.
- W2073164820 isRetracted "false" @default.
- W2073164820 magId "2073164820" @default.
- W2073164820 workType "article" @default.