Distributive laws for the coinductive solution of recursive equations
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2006/04/01
-
Journal
-
Indian UGC (journal)
-
Refrences26
-
Citations9
-
Bart Jacobs
Cite
Jacobs, Bart. “Distributive Laws for the Coinductive Solution of Recursive Equations”. Information and Computation, vol. 204, no. 4, 2006, pp. 561-87, https://doi.org/10.1016/j.ic.2005.03.006.
Jacobs, B. (2006). Distributive laws for the coinductive solution of recursive equations. Information and Computation, 204(4), 561-587. https://doi.org/10.1016/j.ic.2005.03.006
Jacobs B. Distributive laws for the coinductive solution of recursive equations. Information and Computation. 2006;204(4):561-87.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Infinite trees and completely iterative theories: a coalgebraic view | 2003 | |||
| Parametric corecursion | 2001 | |||
| Behavioural differential equations: a coinductive calculus of streams, automata, and power series | 2003 | |||
| Introduction to distributive categories | Mathematical Structures in Computer Science |
| 1993 | |
| On the algebraic structure of rooted trees | Journal of Computer and System Sciences |
| 54 | 1978 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
From enhanced coinduction towards enhanced induction | Proceedings of the ACM on Programming Languages |
| 2022 | |
| Monads and distributive laws for Rota–Baxter and differential algebras | Advances in Applied Mathematics |
| 6 | 2016 |
| Structural congruence for bialgebraic semantics | Journal of Logical and Algebraic Methods in Programming |
| 2 | 2016 |
Foundational extensible corecursion: a proof assistant perspective | ACM SIGPLAN Notices | 3 | 2015 | |
| On coalgebras over algebras | Theoretical Computer Science |
| 3 | 2011 |
Citations Analysis
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software 6
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Bialgebraic Methods in Structural Operational Semantics and was published in 2007. The most recent citation comes from a 2022 study titled From enhanced coinduction towards enhanced induction. This article reached its peak citation in 2016, with 2 citations. It has been cited in 8 different journals. Among related journals, the Theoretical Computer Science cited this research the most, with 2 citations. The chart below illustrates the annual citation trends for this article.