Pages that link to "Item:Q2378283"
From MaRDI portal
The following pages link to Operational semantics of Framed Tempura (Q2378283):
Displayed 4 items.
- A cylinder computation model for many-core parallel computing (Q391222) (← links)
- A complete proof system for propositional projection temporal logic (Q391223) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)