Pages that link to "Item:Q2873790"
From MaRDI portal
The following pages link to A framework for interpreting traces of functional logic computations (Q2873790):
Displaying 4 items.
- A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness (Q2842102) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- Programming Languages and Systems (Q5308692) (← links)
- A Virtual Machine for Functional Logic Computations (Q5423547) (← links)