Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204081578> ?p ?o ?g. }
- W3204081578 abstract "There is a large amount of literature on the topic of covarieties, coequations and coequational specifications, dating back to the early seventies. Nevertheless, coequations have not (yet) emerged as an everyday practical specification formalism for computer scientists. In this review paper, we argue that this is partly due to the multitude of syntaxes for writing down coequations, which seems to have led to some confusion about what coequations are and what they are for. By surveying the literature, we identify four types of syntaxes: coequations-as-corelations, coequations-as-predicates, coequations-as-equations, and coequations-as-modal-formulas. We present each of these in a tutorial fashion, relate them to each other, and discuss their respective uses." @default.
- W3204081578 created "2021-10-11" @default.
- W3204081578 creator A5069664027 @default.
- W3204081578 creator A5087089457 @default.
- W3204081578 date "2021-09-24" @default.
- W3204081578 modified "2023-09-27" @default.
- W3204081578 title "How to write a coequation." @default.
- W3204081578 cites W1479667522 @default.
- W3204081578 cites W1480882475 @default.
- W3204081578 cites W1503860275 @default.
- W3204081578 cites W1515423948 @default.
- W3204081578 cites W1534787852 @default.
- W3204081578 cites W1540954432 @default.
- W3204081578 cites W1542706591 @default.
- W3204081578 cites W1543688617 @default.
- W3204081578 cites W1548663088 @default.
- W3204081578 cites W1557362830 @default.
- W3204081578 cites W1574223981 @default.
- W3204081578 cites W1592261745 @default.
- W3204081578 cites W1598499642 @default.
- W3204081578 cites W1607782211 @default.
- W3204081578 cites W1611948929 @default.
- W3204081578 cites W1859786385 @default.
- W3204081578 cites W1880933543 @default.
- W3204081578 cites W1968710902 @default.
- W3204081578 cites W1969854456 @default.
- W3204081578 cites W1970434188 @default.
- W3204081578 cites W1982431152 @default.
- W3204081578 cites W1985275803 @default.
- W3204081578 cites W1993890055 @default.
- W3204081578 cites W1995137632 @default.
- W3204081578 cites W1998143781 @default.
- W3204081578 cites W2003266048 @default.
- W3204081578 cites W2005080671 @default.
- W3204081578 cites W2006176044 @default.
- W3204081578 cites W2008168440 @default.
- W3204081578 cites W2012616890 @default.
- W3204081578 cites W2019881090 @default.
- W3204081578 cites W2019940009 @default.
- W3204081578 cites W2021900929 @default.
- W3204081578 cites W2023648368 @default.
- W3204081578 cites W2037105931 @default.
- W3204081578 cites W2040834264 @default.
- W3204081578 cites W2046125711 @default.
- W3204081578 cites W2049261036 @default.
- W3204081578 cites W2049352524 @default.
- W3204081578 cites W2059891142 @default.
- W3204081578 cites W2065987422 @default.
- W3204081578 cites W2067441543 @default.
- W3204081578 cites W2081620669 @default.
- W3204081578 cites W2082558313 @default.
- W3204081578 cites W2085789912 @default.
- W3204081578 cites W2095420767 @default.
- W3204081578 cites W2108446683 @default.
- W3204081578 cites W2115290331 @default.
- W3204081578 cites W2117189826 @default.
- W3204081578 cites W2122667779 @default.
- W3204081578 cites W2123724019 @default.
- W3204081578 cites W2135557157 @default.
- W3204081578 cites W2138785176 @default.
- W3204081578 cites W2140570142 @default.
- W3204081578 cites W2141746437 @default.
- W3204081578 cites W2149366752 @default.
- W3204081578 cites W2151517515 @default.
- W3204081578 cites W2153593057 @default.
- W3204081578 cites W2154273644 @default.
- W3204081578 cites W2154547008 @default.
- W3204081578 cites W2156429182 @default.
- W3204081578 cites W2159753366 @default.
- W3204081578 cites W2163152086 @default.
- W3204081578 cites W2169869634 @default.
- W3204081578 cites W2201092569 @default.
- W3204081578 cites W2295444426 @default.
- W3204081578 cites W2496522058 @default.
- W3204081578 cites W2577503920 @default.
- W3204081578 cites W2593686720 @default.
- W3204081578 cites W2613512071 @default.
- W3204081578 cites W2905780452 @default.
- W3204081578 cites W2953186961 @default.
- W3204081578 cites W3103848086 @default.
- W3204081578 cites W3123988290 @default.
- W3204081578 cites W3130416166 @default.
- W3204081578 cites W45032386 @default.
- W3204081578 cites W51266236 @default.
- W3204081578 hasPublicationYear "2021" @default.
- W3204081578 type Work @default.
- W3204081578 sameAs 3204081578 @default.
- W3204081578 citedByCount "0" @default.
- W3204081578 crossrefType "posted-content" @default.
- W3204081578 hasAuthorship W3204081578A5069664027 @default.
- W3204081578 hasAuthorship W3204081578A5087089457 @default.
- W3204081578 hasConcept C111472728 @default.
- W3204081578 hasConcept C11171543 @default.
- W3204081578 hasConcept C124952713 @default.
- W3204081578 hasConcept C138885662 @default.
- W3204081578 hasConcept C142362112 @default.
- W3204081578 hasConcept C145420912 @default.
- W3204081578 hasConcept C15744967 @default.
- W3204081578 hasConcept C185592680 @default.
- W3204081578 hasConcept C188027245 @default.