Matches in SemOpenAlex for { <https://semopenalex.org/work/W2062871376> ?p ?o ?g. }
- W2062871376 endingPage "269" @default.
- W2062871376 startingPage "229" @default.
- W2062871376 abstract "Abstract The main ideas underlying work on the model-theoretic foundations of algebraic specification and formal program development are presented in an informal way. An attempt is made to offer an overall view, rather than new results, and to focus on the basic motivation behind the technicalities presented elsewhere." @default.
- W2062871376 created "2016-06-24" @default.
- W2062871376 creator A5062418524 @default.
- W2062871376 creator A5087292234 @default.
- W2062871376 date "1997-05-01" @default.
- W2062871376 modified "2023-09-23" @default.
- W2062871376 title "Essential concepts of algebraic specification and program development" @default.
- W2062871376 cites W15580640 @default.
- W2062871376 cites W1583095677 @default.
- W2062871376 cites W1969510795 @default.
- W2062871376 cites W1970673141 @default.
- W2062871376 cites W1974483963 @default.
- W2062871376 cites W1980425977 @default.
- W2062871376 cites W1983608286 @default.
- W2062871376 cites W1985562074 @default.
- W2062871376 cites W1986595209 @default.
- W2062871376 cites W2008037751 @default.
- W2062871376 cites W2010883554 @default.
- W2062871376 cites W2020817341 @default.
- W2062871376 cites W2039314417 @default.
- W2062871376 cites W2052603522 @default.
- W2062871376 cites W2055330256 @default.
- W2062871376 cites W2066925317 @default.
- W2062871376 cites W2071749035 @default.
- W2062871376 cites W2073899607 @default.
- W2062871376 cites W2132371811 @default.
- W2062871376 cites W2157144873 @default.
- W2062871376 cites W2162643525 @default.
- W2062871376 cites W2167661129 @default.
- W2062871376 cites W2295902379 @default.
- W2062871376 cites W2495094254 @default.
- W2062871376 cites W2495268730 @default.
- W2062871376 cites W26168312 @default.
- W2062871376 cites W3023216518 @default.
- W2062871376 cites W3171913975 @default.
- W2062871376 cites W4205872083 @default.
- W2062871376 cites W4211016881 @default.
- W2062871376 cites W4300128858 @default.
- W2062871376 doi "https://doi.org/10.1007/bf01211084" @default.
- W2062871376 hasPublicationYear "1997" @default.
- W2062871376 type Work @default.
- W2062871376 sameAs 2062871376 @default.
- W2062871376 citedByCount "101" @default.
- W2062871376 countsByYear W20628713762012 @default.
- W2062871376 countsByYear W20628713762013 @default.
- W2062871376 countsByYear W20628713762014 @default.
- W2062871376 countsByYear W20628713762015 @default.
- W2062871376 countsByYear W20628713762016 @default.
- W2062871376 countsByYear W20628713762018 @default.
- W2062871376 countsByYear W20628713762020 @default.
- W2062871376 crossrefType "journal-article" @default.
- W2062871376 hasAuthorship W2062871376A5062418524 @default.
- W2062871376 hasAuthorship W2062871376A5087292234 @default.
- W2062871376 hasBestOaLocation W20628713761 @default.
- W2062871376 hasConcept C116253237 @default.
- W2062871376 hasConcept C120665830 @default.
- W2062871376 hasConcept C121332964 @default.
- W2062871376 hasConcept C134306372 @default.
- W2062871376 hasConcept C136119220 @default.
- W2062871376 hasConcept C14331664 @default.
- W2062871376 hasConcept C192209626 @default.
- W2062871376 hasConcept C199343813 @default.
- W2062871376 hasConcept C199360897 @default.
- W2062871376 hasConcept C202444582 @default.
- W2062871376 hasConcept C24858836 @default.
- W2062871376 hasConcept C2776542497 @default.
- W2062871376 hasConcept C2777686260 @default.
- W2062871376 hasConcept C2777691520 @default.
- W2062871376 hasConcept C33923547 @default.
- W2062871376 hasConcept C41008148 @default.
- W2062871376 hasConcept C71924100 @default.
- W2062871376 hasConcept C90483712 @default.
- W2062871376 hasConcept C9376300 @default.
- W2062871376 hasConceptScore W2062871376C116253237 @default.
- W2062871376 hasConceptScore W2062871376C120665830 @default.
- W2062871376 hasConceptScore W2062871376C121332964 @default.
- W2062871376 hasConceptScore W2062871376C134306372 @default.
- W2062871376 hasConceptScore W2062871376C136119220 @default.
- W2062871376 hasConceptScore W2062871376C14331664 @default.
- W2062871376 hasConceptScore W2062871376C192209626 @default.
- W2062871376 hasConceptScore W2062871376C199343813 @default.
- W2062871376 hasConceptScore W2062871376C199360897 @default.
- W2062871376 hasConceptScore W2062871376C202444582 @default.
- W2062871376 hasConceptScore W2062871376C24858836 @default.
- W2062871376 hasConceptScore W2062871376C2776542497 @default.
- W2062871376 hasConceptScore W2062871376C2777686260 @default.
- W2062871376 hasConceptScore W2062871376C2777691520 @default.
- W2062871376 hasConceptScore W2062871376C33923547 @default.
- W2062871376 hasConceptScore W2062871376C41008148 @default.
- W2062871376 hasConceptScore W2062871376C71924100 @default.
- W2062871376 hasConceptScore W2062871376C90483712 @default.
- W2062871376 hasConceptScore W2062871376C9376300 @default.
- W2062871376 hasIssue "3" @default.
- W2062871376 hasLocation W20628713761 @default.
- W2062871376 hasOpenAccess W2062871376 @default.
- W2062871376 hasPrimaryLocation W20628713761 @default.
- W2062871376 hasRelatedWork W1563875108 @default.
- W2062871376 hasRelatedWork W1971352189 @default.