✦ LIBER ✦

A kernel language for programmed rewriting of (hyper)graphs

✍ Scribed by Andrea Maggiolo-Schettini; Józef Winkowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Programmed Graph Rewriting System for

✍ Peter Heimann; Gregor Joeris; Carl-Arndt Krapp; Bernhard Westfechtel 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 403 KB

Representation for program control struc

✍ Norihide Hattori; Naohiro Ishii 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 689 KB

Methods for Proving Termination of Rewri

✍ Francisco Durán; Salvador Lucas; José Meseguer 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 390 KB

A program for computing identity-kernels

✍ H. D. Abramson 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 582 KB

Hierarchical representation for program

✍ Norihide Hattori; Naohiro Ishii 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 237 KB

The development of a programming languag

✍ Henry F. Soehngen 📂 Article 📅 1968 🏛 Elsevier Science ⚖ 472 KB