Pages that link to "Item:Q1127537"

The following pages link to On translations of temporal logic of actions into monadic second-order logic (Q1127537):

Displaying 3 items.

• Automata over continuous time (Q1399970) (← links)
• Finite variability interpretation of monadic logic of order (Q1606122) (← links)
• Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)