A universal characterization of the double powerlocale

Article Properties
Cite
Vickers, S.J., and C.F. Townsend. “A Universal Characterization of the Double Powerlocale”. Theoretical Computer Science, vol. 316, no. 1-3, 2004, pp. 297-21, https://doi.org/10.1016/j.tcs.2004.01.034.
Vickers, S., & Townsend, C. (2004). A universal characterization of the double powerlocale. Theoretical Computer Science, 316(1-3), 297-321. https://doi.org/10.1016/j.tcs.2004.01.034
Vickers, S.J., and C.F. Townsend. “A Universal Characterization of the Double Powerlocale”. Theoretical Computer Science 316, no. 1-3 (2004): 297-321. https://doi.org/10.1016/j.tcs.2004.01.034.
Vickers S, Townsend C. A universal characterization of the double powerlocale. Theoretical Computer Science. 2004;316(1-3):297-321.
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
Locally cartesian closed exact completions Journal of Pure and Applied Algebra
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
 2000
Topical categories of domains Mathematical Structures in 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
 1999
Constructive points of powerlocales Mathematical Proceedings of the Cambridge Philosophical Society
  • Science: Mathematics
 1997
Information systems for continuous posets 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
 30 1993
Quantales, observational logic and process semantics Mathematical Structures in 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
 1993
Citations
Title Journal Journal Categories Citations Publication Date
Presenting Quotient Locales

 Applied Categorical Structures
  • Science: Mathematics
 2023
The spectrum of a localic semiring

 Mathematical Proceedings of the Cambridge Philosophical Society
  • Science: Mathematics
 2022
Equilogical spaces and algebras for a double-power monad Tbilisi Mathematical Journal
  • Science: Mathematics
 1 2017
Stability of Properties of Locales Under Groups Applied Categorical Structures
  • Science: Mathematics
 1 2016
Weighted limits in the category Dcpo-S

 Asian-European Journal of Mathematics
  • Science: Mathematics
 2016
Citations Analysis
Category Category Repetition
Science: Mathematics15
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods6
Science: Mathematics: Instruments and machines: Electronic computers. Computer science5
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software4
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware4
The category Science: Mathematics 15 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Presenting locale pullback via directed complete posets and was published in 2004. The most recent citation comes from a 2023 study titled Presenting Quotient Locales. This article reached its peak citation in 2012, with 3 citations. It has been cited in 13 different journals, 7% of which are open access. Among related journals, the Applied Categorical Structures cited this research the most, with 4 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year