Pages that link to "Item:Q1854392"

The following pages link to Inductive synthesis of recursive processes from logical properties (Q1854392):

Displaying 1 item.

• Extension of synthesis algorithm of recursive processes to \(\mu\)-calculus (Q1350215) (← links)