Guo-Qiang Zhang  Home/Search
Context Related
Links: ACM DBLP | uga.edu/~gqz/paper...quasiprime.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uga.edu/~gqz/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper demonstrates the existence of a (Update)
Context of citations to this paper: More
.... event domains [19,8] with stable functions are not cartesian closed, neither is the category of finitary quasi prime algebraic domains [25] with stable mappings. Previous work towards the understanding of stability includes [19] in which Winskel discussed a relationship...
Cited by: More
The Largest Cartesian Closed Category of Stable Domains - Zhang (Correct)
Similar documents (at the sentence level):
35.2%: Quasi-Prime Algebraic Domains - Zhang (1996) (Correct)
Active bibliography (related documents): More All
0.4: Domain Theory - Abramsky, Jung (1994) (Correct)
0.4: Domain Theory - Corrected and expanded version - Abramsky, Jung (Correct)
0.1: Resolution in the Smyth Powerdomain - Zhang, Rounds (1998) (Correct)
Similar documents based on text: More All
0.4: Resolution and Logic Programming in Algebraic Domains: Negation.. - Hitzler (2002) (Correct)
0.2: Factoring into Coprimes in Essentially Linear Time - Bernstein (Correct)
0.1: Some Monoidal Closed Categories of Stable Domains and Event.. - Zhang (1993) (Correct)
Related documents from co-citation: More All
2: Theoretical Computer Science (context) - Droste, domains - 1989
BibTeX entry: (Update)
G.-Q. Zhang, Universal quasi-prime algebraic domains, Lecture Notes in Computer Science 802 (1994) 454--473. http://citeseer.ist.psu.edu/zhang94universal.html More
@inproceedings{ zhang93universal,
author = "Guo-Qiang Zhang",
title = "Universal Quasi-Prime Algebraic Domains",
booktitle = "{MFPS}",
pages = "454-473",
year = "1993",
url = "citeseer.ist.psu.edu/zhang94universal.html" }
Citations (may not include all citations):245 A Compendium of Continuous Lattices (context) - Gierz, Hofmann et al. - 1980
214 Domains for denotational semantics (context) - Scott - 1982 ACM DBLP
139 An introduction to event structures (context) - Winskel - 1988 ACM DBLP
41 Using information systems to solve recursive domain equation.. (context) - Larsen, Winskel - 1984 DBLP
15 Logic of Domains (context) - Zhang - 1991
7 Information and Computation (context) - Gunter - 1987 DBLP
6 Universal information systems (context) - Droste, Gobel - 1991 DBLP
4 Universal domains in the theory of denotational semantics of.. (context) - Droste, Gobel - 1990 DBLP
3 Some monoidal closed categories of domains and event structu.. (context) - Zhang - 1991
2 Quasi-prime algebraic domains: a linear category of non-line.. (context) - Zhang - 1992
Documents on the same site (http://www.cs.uga.edu/~gqz/research.html): More
Parallel Product Of Event Structures - Castellani, Zhang (1997) (Correct)
Nonmonotonic Consequences In Default Domain Theory - Zhang, Rounds (Correct)
Experimenting with Power Default Reasoning - Klavins, Rounds, Zhang (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC