| Both the decidability results and undecidablity results extend in various ways to Boolean algebras in extensions of first-order logic. |
|
| This result generalises a number of decidability results concerning bisimilarity, for example for counter automata, or PDA without state. |
|
| Feyerabend took this requirement seriously enough to characterize observation sentences pragmatically in terms of widespread decidability. |
|
| An ambitious goal would be to establish the decidability of first order theory in virtually free groups. |
|
| The solvability of systems of equations in a given group is closely related with the decidability of first-order logic in that group. |
|
| We investigate decidability problems and prove that some properties that are undecidable for general context-free languages become decidable for XML-languages. |
|
| At present, a systematic study of the links between distributed synthesis and the decidability of certain logics over event structures seems unavoidable. |
|
| Moreover, these decidability results can be used to perform an under-approximation analysis to effectively detect bad behaviors of the analyzed programs. |
|
| Performance evaluation was done with decidability, EER, DET curve shown better performance than other methods. |
|
| At the beginning of this paper, we said that decidability, set-oriented operations, and homomorphism were the three essential features of data models. |
|
| Decidability results: testing unboundedness of FIFO queues, temporal logic. |
|
