Pages that link to "Item:Q5970850"

The following pages link to On the decidability of finding a positive ILP-instance in a regular set of ILP-instances (Q5970850):

Displayed 5 items.

• From decidability to undecidability by considering regular sets of instances (Q2062120) ‎ (← links)
• Automata equipped with auxiliary data structures and regular realizability problems (Q2096592) ‎ (← links)
• Properties of graphs specified by a regular language (Q5896894) ‎ (← links)
• Properties of graphs specified by a regular language (Q5918788) ‎ (← links)
• On the decidability of finding a positive ILP-instance in a regular set of ILP-instances (Q5918790) ‎ (← links)