RULE-BASED GRAPH PROGRAMS MATCHING THE TIME COMPLEXITY OF IMPERATIVE ALGORITHMS.
Saved in:
| Title: | RULE-BASED GRAPH PROGRAMS MATCHING THE TIME COMPLEXITY OF IMPERATIVE ALGORITHMS. |
|---|---|
| Authors: | ALAOUI, ZIAD ISMAILI1, ziad.ismaili-alaoui@liverpool.ac.uk, PLUMP, DETLEF2, detlef.plump@york.ac.uk |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-40, 40p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
