Stone coalgebras

Article Properties
Cite
Kupke, Clemens, et al. “Stone Coalgebras”. Theoretical Computer Science, vol. 327, no. 1-2, 2004, pp. 109-34, https://doi.org/10.1016/j.tcs.2004.07.023.
Kupke, C., Kurz, A., & Venema, Y. (2004). Stone coalgebras. Theoretical Computer Science, 327(1-2), 109-134. https://doi.org/10.1016/j.tcs.2004.07.023
Kupke, Clemens, Alexander Kurz, and Yde Venema. “Stone Coalgebras”. Theoretical Computer Science 327, no. 1-2 (2004): 109-34. https://doi.org/10.1016/j.tcs.2004.07.023.
Kupke C, Kurz A, Venema Y. Stone coalgebras. Theoretical Computer Science. 2004;327(1-2):109-34.
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
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study RAIRO - Theoretical Informatics and Applications
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • 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
 39 2001
A domain equation for bisimulation Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • 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
 62 1991
A coalgebraic view of Heyting duality Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2003
Universal coalgebra 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
 2000
Coalgebraic logic Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 1999
Citations
Title Journal Journal Categories Citations Publication Date
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 2024
Remarks on hyperspaces for Priestley spaces 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
 2 2023
The Vietoris functor and modal operators on rings of continuous functions Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 2022
Stone dualities from opfibrations Journal of Logical and Algebraic Methods in Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • 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
 2022
On MV-coalgebras over the category of BL-algebras Soft Computing
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Mechanical engineering and machinery
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2021
Citations Analysis
Category Category Repetition
Science: Mathematics24
Science: Mathematics: Instruments and machines: Electronic computers. Computer science19
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software10
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware10
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods6
Philosophy. Psychology. Religion: Logic3
Philosophy. Psychology. Religion: Philosophy (General)2
Technology: Technology (General): Industrial engineering. Management engineering: Information technology1
Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication1
Science: Science (General): Cybernetics: Information theory1
Technology: Mechanical engineering and machinery1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics1
The category Science: Mathematics 24 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem and was published in 2005. The most recent citation comes from a 2024 study titled DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY. This article reached its peak citation in 2021, with 4 citations. It has been cited in 20 different journals, 10% of which are open access. Among related journals, the Journal of Logic and Computation cited this research the most, with 6 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year