LMNtal

swMATH7312MaRDI QIDQ19352

No author found.

Described by source

• LMNtal as a hierarchical logic programming language
• LMNtal as a Unifying Declarative Language: Live Demonstration

Related Items (6)

Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting ⋮ Membrane Computing ⋮ Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs ⋮ Constraint-Based Concurrency and Beyond ⋮ Encoding Distributed Process Calculi into LMNtal ⋮ Models and emerging trends of concurrent constraint programming

This page was built for software: LMNtal