decidable

adj.

可决定的；

What's decidable about arrays?
What’s Decidable About Arrays?
What’s Decidable About Arrays?
A decidable fragment of separation logic
A Decidable Fragment of Separation Logic
A Decidable Fragment of Separation Logic
What's Decidable about Hybrid Automata?
A New Class of Decidable Hybrid Systems
Decidable reasoning in terminological knowledge representation systems
Bisimulation Equivalence is Decidable for all Context-Free Processes