KOOL
From MaRDI portal
Software:43974
swMATH32263MaRDI QIDQ43974FDOQ43974
Author name not available (Why is that?)
Cited In (7)
- Twenty years of rewriting logic
- P systems with control nuclei: the concept
- Symbolic execution based on language transformation
- Towards a \(\mathbb{K}\)ool future
- Defining and Executing P Systems with Structured Data in K
- Memory Representations in Rewriting Logic Semantics Definitions
- An overview of the K semantic framework
This page was built for software: KOOL
