Pages that link to "Item:Q1603368"
From MaRDI portal
The following pages link to Decidability of the consistency problem for regular symbolic picture description languages (Q1603368):
Displaying 5 items.
- Adding symbolic information to picture models: definitions and properties (Q557811) (← links)
- The finiteness of synchronous, tabled picture languages is decidable (Q860893) (← links)
- Complexity and decidability for restricted classes of picture languages (Q909482) (← links)
- Undecidability of existential properties in picture languages (Q1575948) (← links)
- On regular drawn symbolic picture languages (Q1877551) (← links)