Presenting functors on many-sorted varieties and applications

Article Properties
Cite
Kurz, Alexander, and Daniela Petrişan. “Presenting Functors on Many-Sorted Varieties and Applications”. Information and Computation, vol. 208, no. 12, 2010, pp. 1421-46, https://doi.org/10.1016/j.ic.2009.11.007.
Kurz, A., & Petrişan, D. (2010). Presenting functors on many-sorted varieties and applications. Information and Computation, 208(12), 1421-1446. https://doi.org/10.1016/j.ic.2009.11.007
Kurz, Alexander, and Daniela Petrişan. “Presenting Functors on Many-Sorted Varieties and Applications”. Information and Computation 208, no. 12 (2010): 1421-46. https://doi.org/10.1016/j.ic.2009.11.007.
Kurz A, Petrişan D. Presenting functors on many-sorted varieties and applications. Information and Computation. 2010;208(12):1421-46.
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
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
One-and-a-halfth-order Logic Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 17 2008
Modular construction of complete coalgebraic logics Theoretical Computer Science
  • 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
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 19 2007
The abstract variable-binding calculus 1995
On universal algebra over nominal sets 2010
Coalgebras and their logics ACM SIGACT News 11 2006
Citations
Title Journal Journal Categories Citations Publication Date
On a Categorical Framework for Coalgebraic Modal Logic Electronic Notes in Theoretical Computer Science 1 2014
Coalgebraic semantics of modal logics: An overview Theoretical Computer Science
  • 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
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 14 2011
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Coalgebraic semantics of modal logics: An overview and was published in 2011. The most recent citation comes from a 2014 study titled On a Categorical Framework for Coalgebraic Modal Logic. This article reached its peak citation in 2014, with 1 citations. It has been cited in 2 different journals. Among related journals, the Electronic Notes in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year