Вы здесь

Главная

PAS

Связанные издания:

A Three-valued logic for software specification and validation
Cpo s do not form a cpo - but recursion still works
Equations in nets Computer oriented lattices
Graphs Make Initial Continious Algebras
Introduction To Computer Mathematics
Recursive Definitions Revisited
Three-valued predicates for software spesification and validation
Towards a Set-Theoretic Type Theory