Matches in SemOpenAlex for { <https://semopenalex.org/work/W2992015257> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2992015257 endingPage "90" @default.
- W2992015257 startingPage "84" @default.
- W2992015257 abstract "Coinduction is the dual notion of induction in the sense that union is the dual notion of intersection in set theory. Unfortunately, while induction has long been established as one of the most fundamental techniques in Computer Science, coinduction is rarely known to most of the Computer Science practitioners. This paper presents a short introduction to the coinduction paradigm in terms of coinductive data, coinductive functions, and coinductive proofs. With the increasingly growing interests in coinduction and its applications, it can be expected that coinduction will soon become one of the standard subjects, just as induction, in discrete mathematics." @default.
- W2992015257 created "2019-12-13" @default.
- W2992015257 creator A5090224468 @default.
- W2992015257 date "2014-05-01" @default.
- W2992015257 modified "2023-09-24" @default.
- W2992015257 title "Adding coinduction into discrete mathematics" @default.
- W2992015257 cites W1511902564 @default.
- W2992015257 cites W1527588453 @default.
- W2992015257 cites W1561011284 @default.
- W2992015257 cites W1998889111 @default.
- W2992015257 cites W2043855341 @default.
- W2992015257 cites W2116322260 @default.
- W2992015257 cites W2128995870 @default.
- W2992015257 cites W2137865376 @default.
- W2992015257 cites W2952652756 @default.
- W2992015257 cites W369805404 @default.
- W2992015257 hasPublicationYear "2014" @default.
- W2992015257 type Work @default.
- W2992015257 sameAs 2992015257 @default.
- W2992015257 citedByCount "0" @default.
- W2992015257 crossrefType "journal-article" @default.
- W2992015257 hasAuthorship W2992015257A5090224468 @default.
- W2992015257 hasConcept C108710211 @default.
- W2992015257 hasConcept C127413603 @default.
- W2992015257 hasConcept C146978453 @default.
- W2992015257 hasConcept C199360897 @default.
- W2992015257 hasConcept C206743973 @default.
- W2992015257 hasConcept C2524010 @default.
- W2992015257 hasConcept C33923547 @default.
- W2992015257 hasConcept C40220748 @default.
- W2992015257 hasConcept C41008148 @default.
- W2992015257 hasConcept C64543145 @default.
- W2992015257 hasConceptScore W2992015257C108710211 @default.
- W2992015257 hasConceptScore W2992015257C127413603 @default.
- W2992015257 hasConceptScore W2992015257C146978453 @default.
- W2992015257 hasConceptScore W2992015257C199360897 @default.
- W2992015257 hasConceptScore W2992015257C206743973 @default.
- W2992015257 hasConceptScore W2992015257C2524010 @default.
- W2992015257 hasConceptScore W2992015257C33923547 @default.
- W2992015257 hasConceptScore W2992015257C40220748 @default.
- W2992015257 hasConceptScore W2992015257C41008148 @default.
- W2992015257 hasConceptScore W2992015257C64543145 @default.
- W2992015257 hasIssue "5" @default.
- W2992015257 hasLocation W29920152571 @default.
- W2992015257 hasOpenAccess W2992015257 @default.
- W2992015257 hasPrimaryLocation W29920152571 @default.
- W2992015257 hasRelatedWork W111239255 @default.
- W2992015257 hasRelatedWork W1495872178 @default.
- W2992015257 hasRelatedWork W1499647456 @default.
- W2992015257 hasRelatedWork W1513923922 @default.
- W2992015257 hasRelatedWork W1600606023 @default.
- W2992015257 hasRelatedWork W1980051887 @default.
- W2992015257 hasRelatedWork W2036036248 @default.
- W2992015257 hasRelatedWork W2056485217 @default.
- W2992015257 hasRelatedWork W2068010603 @default.
- W2992015257 hasRelatedWork W2127323771 @default.
- W2992015257 hasRelatedWork W2186683525 @default.
- W2992015257 hasRelatedWork W2290335711 @default.
- W2992015257 hasRelatedWork W2509920464 @default.
- W2992015257 hasRelatedWork W2522622188 @default.
- W2992015257 hasRelatedWork W2797069268 @default.
- W2992015257 hasRelatedWork W2951645031 @default.
- W2992015257 hasRelatedWork W2963613549 @default.
- W2992015257 hasRelatedWork W3005705568 @default.
- W2992015257 hasRelatedWork W3023595215 @default.
- W2992015257 hasRelatedWork W3092988953 @default.
- W2992015257 hasVolume "29" @default.
- W2992015257 isParatext "false" @default.
- W2992015257 isRetracted "false" @default.
- W2992015257 magId "2992015257" @default.
- W2992015257 workType "article" @default.