Pages that link to "Item:Q2703751"
From MaRDI portal
The following pages link to Computability and decidability issues in the theory of consistency enforcement (Q2703751):
Displaying 4 items.
- Towards a theory of consistency enforcement (Q1284698) (← links)
- Decidability and complexity for quiescent consistency and its variations (Q1680503) (← links)
- Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints (Q2841258) (← links)
- (Q5079729) (← links)