Achim Jung

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Decomposition of domains	2023-08-16	Paper
A duality for two-sorted lattices	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5079763	2022-05-28	Paper
Non-involutive twist-structures	2021-01-08	Paper
Diagrammatic Semantics for Digital Circuits.	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5206547	2019-12-18	Paper
Stone Duality for Relations	2019-12-18	Paper
Quotients of d-frames	2019-06-20	Paper
Free constructions and coproducts of d-frames	2018-08-13	Paper
Bitopology and four-valued logic	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q3130546	2018-01-23	Paper
Kripke Semantics for Modal Bilattice Logic	2017-07-03	Paper
Four-valued modal logic: Kripke semantics and duality	2017-05-17	Paper
A note on coherence of dcpos	2016-07-27	Paper
On a categorical framework for coalgebraic modal logic	2016-05-13	Paper
QRB, QFS, and the probabilistic powerdomain	2016-05-13	Paper
All Cartesian closed categories of quasicontinuous domains consist of domains	2015-07-24	Paper
A Hofmann-Mislove theorem for Bitopological Spaces	2015-07-10	Paper
Presenting Dcpos and Dcpo Algebras	2014-05-13	Paper
Convergence of preference functions	2013-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q2851323	2013-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q2844074	2013-08-27	Paper
Continuous Domain Theory in Logical Form	2013-05-28	Paper
Stably Compact Spaces and Closed Relations	2013-04-26	Paper
Priestley duality for bilattices	2012-10-01	Paper
A bitopological point-free approach to compactifications	2011-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q3597351	2009-02-09	Paper
A Hofmann-Mislove theorem for bitopological spaces	2008-09-01	Paper
A logical approach to stable domains	2007-01-22	Paper
The probabilistic powerdomain for stably compact spaces	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4411825	2003-07-10	Paper
Linear types and approximation	2001-08-21	Paper
Uniform approximation of topological spaces	2000-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q4265614	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4222969	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4222892	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222769	1998-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4373424	1998-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q4281476	1994-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4281477	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3997287	1992-09-17	Paper
Using powerdomains to generalize relational databases	1992-06-28	Paper
The dependent product construction in various categories of domains	1991-01-01	Paper
Cartesian closed categories of algebraic cpos	1990-01-01	Paper
Coherence and consistency in domains	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3797244	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3812427	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Achim Jung