Domain theory, logic and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Dordrecht ; Boston :
Kluwer Academic,
[2003]
|
| Series: | Semantic structures in computation ;
v. 3. |
| Subjects: |
Search Result 1