Completeness of a relational calculus for program schemes.
| Autor: | Frias, M.F., Maddux, R.D. |
|---|---|
| Zdroj: | Proceedings Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat No98CB36226); 1998, p127-134, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|