Pages that link to "Item:Q1854267"

The following pages link to Dealing with zero-time transitions in axiom systems. (Q1854267):

Displaying 2 items.

• A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
• A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)