Pages that link to "Item:Q3178265"

The following pages link to An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265):

Displaying 1 item.

• Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)