partial logics
Recently Published Documents


TOTAL DOCUMENTS

4
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

2015 ◽  
Vol 27 (4) ◽  
pp. 459-459
Author(s):  
ACHIM JUNG ◽  
GUO-QIANG ZHANG

The International Symposium on Domain Theory (ISDT) is a conference series intended to be a forum for researchers in domain theory and its applications. Topics include topological and logical aspects of domains; categories of domains and powerdomains; continuous posets and their representations; partial orders, lattice theory and metric spaces; types, process algebra and concurrency; non-classical and partial logics; programming language semantics; applications in computer science and mathematics. This conference series was founded by Yingming Liu, Yixiang Chen, Klaus Keimel, and Guo-Qiang Zhang. All ISDT events have taken place in China. The first ISDT was held in Shanghai, October 17–24, 1999; the second ISDT was held in Chengdu, October 22–26, 2001; the third ISDT occurred in Xi'an, China, May 10–14, 2004; the fourth ISDT was held in Changsha, June 2–6, 2006; and the fifth ISDT took place in Shanghai, September 11–14, 2009.


2003 ◽  
Vol 44 (3) ◽  
pp. 125-138 ◽  
Author(s):  
Charles Morgan ◽  
Fran�ois Lepage

Sign in / Sign up

Export Citation Format

Share Document