search result

Cover von Cartesian closed categories of domains
Author: Jung, Achim Search for this author
Year: 1989
Publisher: Amsterdam, CWI
Series: CWI Tracts; 66
Media group: DISSERTATION
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2018
Media group: LIPIcs
Cover von 27th EACSL Annual Conference on Computer Science Logic
CSL 2018 : September 4 - 7, 2018, Birmingham, GB
Search for this author
Year: 2018
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 119
Media group: LIPIcs
Cover von Free Constructions and Coproducts of d-Frames

Free Constructions and Coproducts of d-Frames

Year: 2017
Media group: LIPIcs
Cover von The semantic challenge of object-oriented programming
28.06.1998 - 03.07.1998 (98261)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 216
Media group: DAGSTUHL-SEMINAR-REP
Cover von Diagrammatic Semantics for Digital Circuits

Diagrammatic Semantics for Digital Circuits

Year: 2017
Media group: LIPIcs
Cover von Duality in Computer Science; 10
pp. 66-88
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
Cover von Recent developments in domain theory; 1/3
a collection of papers in honour of Dana S. Scott : special issue : S. 1 - 321
Search for this author
Year: 2004
Publisher: Amsterdam, Elsevier
Count: 1/3
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0