LMNtal

swMATH7312MaRDI QIDQ19352FDOQ19352

Author name not available (Why is that?)

Described by source

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

Cited In (6)

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

This page was built for software: LMNtal