LMNtal as a hierarchical logic programming language
From MaRDI portal
Publication:1035709
DOI10.1016/J.TCS.2009.07.043zbMATH Open1187.68124OpenAlexW1993755151MaRDI QIDQ1035709FDOQ1035709
Authors: Kazunori Ueda 
Publication date: 4 November 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2009.07.043
Recommendations
Cites Work
- Computing with membranes
- Generative communication in Linda
- Linear concurrent constraint programming: Operational and phase semantics
- Title not available (Why is that?)
- Mobile ambients
- Theory and practice of constraint handling rules
- Title not available (Why is that?)
- Global Computing
- Title not available (Why is that?)
- A Linear-Logic Semantics for Constraint Handling Rules
- Title not available (Why is that?)
- Encoding distributed process calculi into LMNtal
- Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
- Title not available (Why is that?)
- Title not available (Why is that?)
- Membrane Computing
- Title not available (Why is that?)
Cited In (7)
- Membrane Computing
- Encoding distributed process calculi into LMNtal
- Constraint-based concurrency and beyond
- LMNtal
- LMNtal as a Unifying Declarative Language: Live Demonstration
- Title not available (Why is that?)
- Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data
Uses Software
This page was built for publication: LMNtal as a hierarchical logic programming language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035709)
