Domain theory, logic, and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 /
Na minha lista:
Principais autores: | Zhang, Guo-Qiang, International Symposium on Domain Theory |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/167050 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Axiomatic domain theory in categories of partial maps /
por: Fiore, Marcelo P.
Publicado em: (2022) -
Proceedings of the thirty second Annual ACM Symposium on Theory of Computing /
por: Annual ACM Symposium on Theory of Computing (32. : 2000 : Portland, Oregon)., et al.
Publicado em: (2022) -
ISA'91 algorithms : Proceedings [of the] 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 /
por: International Symposium on Algorithms (2. : 1991 : Taipei, China), et al.
Publicado em: (2022) -
Proceedings of the international Symposium on Crystallography : october 12-15, 2014, Fortaleza, Brazil /
por: Symposium on Crystallography (2014 : Fortaleza, CE), et al.
Publicado em: (2023) -
Continuous lattices and domains /
por: Gierz, Gerhard.
Publicado em: (2022)