RULE-BASED GRAPH PROGRAMS MATCHING THE TIME COMPLEXITY OF IMPERATIVE ALGORITHMS.

Saved in:

Bibliographic Details
Title:	RULE-BASED GRAPH PROGRAMS MATCHING THE TIME COMPLEXITY OF IMPERATIVE ALGORITHMS.
Authors:	ALAOUI, ZIAD ISMAILI¹, ziad.ismaili-alaoui@liverpool.ac.uk, PLUMP, DETLEF², 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

Description
ISSN:	18605974
DOI:	10.46298/LMCS-22(2:20)2026