Travelled to:
1 × Italy
1 × USA
Collaborated with:
E.Sciore
Talks about:
admiss (2) theori (1) domain (1) comput (1) coher (1) cpo (1)
Person: A. Tang
DBLP: Tang:A=
Contributed to:
Wrote 2 papers:
- ICALP-1978-ScioreT
- Admissible Coherent CPO’s (ES, AT), pp. 440–456.
- STOC-1978-ScioreT
- Computability Theory in Admissible Domains (ES, AT), pp. 95–104.