共 50 条
- [2] Correctness criteria for algebraic closures of the estimate-calculating algorithm model Doklady Mathematics, 2008, 77 : 453 - 456
- [3] OPTIMAL-ALGORITHMS IN ALGEBRAIC CLOSURES OF ESTIMATE CALCULATION OPERATORS DOKLADY AKADEMII NAUK SSSR, 1982, 262 (04): : 818 - 822
- [4] COMPLETENESS OF A VISUAL COMPUTATION MODEL SOFTWARE-CONCEPTS AND TOOLS, 1994, 15 (01): : 34 - 48
- [6] Algebraic closures of a generalized model of estimation algorithms Doklady Mathematics, 2008, 78 : 936 - 939
- [7] A new algorithm for transitive closures and computation of recursion in relational databases SEVENTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALIZATION, PROCEEDINGS, 2003, : 206 - 213
- [8] ALGEBRAIC COMPLETENESS RESULTS FOR DUMMETTS LC AND ITS EXTENSIONS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1971, 17 (03): : 225 - &