Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms

Ziad Ismaili Alaoui, Detlef Plump

Research output: Book/ReportOther report

Original languageEnglish
PublisherArXiv e-prints
Number of pages40
DOIs
Publication statusPublished - 15 Jan 2025

Cite this