Intuitionistic linear logic and partial correctness.
| Autor: | Kozen, D., Tiuryn, J. |
|---|---|
| Zdroj: | Proceedings 16th Annual IEEE Symposium on Logic in Computer Science; 2001, p259-268, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Kozen, D., Tiuryn, J. |
|---|---|
| Zdroj: | Proceedings 16th Annual IEEE Symposium on Logic in Computer Science; 2001, p259-268, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|