Obserwuj
Achim Jung
Achim Jung
Professor of Computer Science, University of Birmingham, UK
Zweryfikowany adres z cs.bham.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Domain theory
S Abramsky, A Jung
Handbook of Logic in Computer Science 3, 1-168, 1994
16951994
Cartesian closed categories of domains
A Jung
CWI Tracts 66, 1-110, 1989
2821989
Using powerdomains to generalize relational databases
P Buneman, A Jung, A Ohori
Theoretical Computer Science 91 (1), 23-55, 1991
1591991
The troublesome probabilistic powerdomain
A Jung, R Tix
Electronic Notes in Theoretical Computer Science 13, 70-91, 1998
1411998
A new characterization of lambda definability
A Jung, J Tiuryn
International Conference on Typed Lambda Calculi and Applications, 245-257, 1993
1151993
The classification of continuous domains
A Jung
Logic in Computer Science, 1990. LICS'90, Proceedings., Fifth Annual IEEE …, 1990
1051990
Domains and Denotational Semantics: History, Accomplishments and Open Problems
MP Fiore, A Jung, E Moggi, P O'Hearn, J Riecke, G Rosolini, I Stark
Bulletin of EATCS 59, 227-256, 1996
74*1996
Stably compact spaces and the probabilistic powerspace construction
A Jung
Electronic Notes in Theoretical Computer Science 87, 5-20, 2004
682004
On the duality of compact vs. open
A Jung, P Sünderhauf
ANNALS-NEW YORK ACADEMY OF SCIENCES 806, 214-230, 1996
551996
On the bitopological nature of Stone duality
A Jung, MA Moshier
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS 13, 110 pages, 2006
522006
Cartesian closed categories of algebraic cpos
A Jung
Theoretical Computer Science 70 (2), 233-250, 1990
521990
Multi lingual sequent calculus and coherent spaces
A Jung, M Kegelmann, MA Moshier
Fundamenta Informaticae 37 (4), 369-412, 1999
481999
Coherence and consistency in domains
CA Gunter, A Jung
Journal of Pure and Applied Algebra 63 (1), 49-66, 1990
47*1990
Coherence and consistency in domains
DA Gunter, A Jung
Logic in Computer Science, 1988. LICS'88., Proceedings of the Third Annual …, 0
47*
Four-valued modal logic: Kripke semantics and duality
U Rivieccio, A Jung, R Jansana
Journal of Logic and Computation 27 (1), 155-199, 2017
462017
The probabilistic powerdomain for stably compact spaces
M Alvarez-Manilla, A Jung, K Keimel
Theoretical Computer Science 328 (3), 221-244, 2004
442004
Studying the fully abstract model of PCF within its continuous function model
A Jung, A Stoughton
International Conference on Typed Lambda Calculi and Applications, 230-244, 1993
37*1993
Kripke semantics for modal bilattice logic
A Jung, U Rivieccio
Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer …, 2013
342013
Stably compact spaces and closed relations
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 45, 209-231, 2001
332001
A note on coherence of dcpos
X Jia, A Jung, Q Li
Topology and its Applications 209, 235-238, 2016
312016
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20