Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000825654> ?p ?o ?g. }
- W2000825654 created "2016-06-24" @default.
- W2000825654 creator A5062418524 @default.
- W2000825654 creator A5087292234 @default.
- W2000825654 date "1988-04-01" @default.
- W2000825654 modified "2023-09-23" @default.
- W2000825654 title "Toward formal development of programs from algebraic specifications: Implementations revisited" @default.
- W2000825654 cites W147899315 @default.
- W2000825654 cites W1482946676 @default.
- W2000825654 cites W1488721712 @default.
- W2000825654 cites W1496607686 @default.
- W2000825654 cites W1500597325 @default.
- W2000825654 cites W1507387938 @default.
- W2000825654 cites W1514811622 @default.
- W2000825654 cites W1528430173 @default.
- W2000825654 cites W1541153481 @default.
- W2000825654 cites W1541593857 @default.
- W2000825654 cites W1543545626 @default.
- W2000825654 cites W1546025443 @default.
- W2000825654 cites W1549434492 @default.
- W2000825654 cites W1551861123 @default.
- W2000825654 cites W1554859476 @default.
- W2000825654 cites W1554884006 @default.
- W2000825654 cites W1557592477 @default.
- W2000825654 cites W1559473997 @default.
- W2000825654 cites W1569453539 @default.
- W2000825654 cites W1570751719 @default.
- W2000825654 cites W1577568159 @default.
- W2000825654 cites W1586116057 @default.
- W2000825654 cites W1586272280 @default.
- W2000825654 cites W1588001604 @default.
- W2000825654 cites W1591100200 @default.
- W2000825654 cites W1591179049 @default.
- W2000825654 cites W165737129 @default.
- W2000825654 cites W174471988 @default.
- W2000825654 cites W1759641093 @default.
- W2000825654 cites W1969438769 @default.
- W2000825654 cites W1970554275 @default.
- W2000825654 cites W1971240584 @default.
- W2000825654 cites W1974483963 @default.
- W2000825654 cites W1983608286 @default.
- W2000825654 cites W1989177109 @default.
- W2000825654 cites W1999862696 @default.
- W2000825654 cites W2007270285 @default.
- W2000825654 cites W2007398626 @default.
- W2000825654 cites W2012436850 @default.
- W2000825654 cites W2012721044 @default.
- W2000825654 cites W2017041211 @default.
- W2000825654 cites W2030096232 @default.
- W2000825654 cites W2050382208 @default.
- W2000825654 cites W2051800122 @default.
- W2000825654 cites W2053259597 @default.
- W2000825654 cites W2055364993 @default.
- W2000825654 cites W2061786858 @default.
- W2000825654 cites W2077592849 @default.
- W2000825654 cites W2094945667 @default.
- W2000825654 cites W2099305192 @default.
- W2000825654 cites W2109576922 @default.
- W2000825654 cites W2120713972 @default.
- W2000825654 cites W2132371811 @default.
- W2000825654 cites W2157144873 @default.
- W2000825654 cites W2162643525 @default.
- W2000825654 cites W2166822586 @default.
- W2000825654 cites W2224144252 @default.
- W2000825654 cites W2493256084 @default.
- W2000825654 cites W2914821813 @default.
- W2000825654 cites W3163760467 @default.
- W2000825654 cites W355202600 @default.
- W2000825654 cites W58233137 @default.
- W2000825654 cites W70110996 @default.
- W2000825654 cites W2552521616 @default.
- W2000825654 doi "https://doi.org/10.1007/bf00283329" @default.
- W2000825654 hasPublicationYear "1988" @default.
- W2000825654 type Work @default.
- W2000825654 sameAs 2000825654 @default.
- W2000825654 citedByCount "159" @default.
- W2000825654 countsByYear W20008256542012 @default.
- W2000825654 countsByYear W20008256542013 @default.
- W2000825654 countsByYear W20008256542014 @default.
- W2000825654 countsByYear W20008256542015 @default.
- W2000825654 countsByYear W20008256542016 @default.
- W2000825654 countsByYear W20008256542017 @default.
- W2000825654 countsByYear W20008256542018 @default.
- W2000825654 countsByYear W20008256542019 @default.
- W2000825654 countsByYear W20008256542021 @default.
- W2000825654 crossrefType "journal-article" @default.
- W2000825654 hasAuthorship W2000825654A5062418524 @default.
- W2000825654 hasAuthorship W2000825654A5087292234 @default.
- W2000825654 hasConcept C111472728 @default.
- W2000825654 hasConcept C116253237 @default.
- W2000825654 hasConcept C124304363 @default.
- W2000825654 hasConcept C134306372 @default.
- W2000825654 hasConcept C138885662 @default.
- W2000825654 hasConcept C175971053 @default.
- W2000825654 hasConcept C199360897 @default.
- W2000825654 hasConcept C24858836 @default.
- W2000825654 hasConcept C26713055 @default.
- W2000825654 hasConcept C2776542497 @default.
- W2000825654 hasConcept C33923547 @default.
- W2000825654 hasConcept C41008148 @default.
- W2000825654 hasConcept C75606506 @default.