Pages that link to "Item:Q3599152"

The following pages link to A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152):

Displaying 2 items.

• Modular Markovian Logic (Q3012934) (← links)
• Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)