The following pages link to (Q4508393):
Displaying 6 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- A classification of the expressive power of well-structured transition systems (Q553290) (← links)
- Automatic verification of recursive procedures with one integer parameter. (Q1401233) (← links)
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- Verifying lossy channel systems has nonprimitive recursive complexity. (Q1853078) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
