Complexity and algorithms for reasoning about time: A graph-theoretic approach. (English) Zbl 0795.68095
MSC:
| 68Q25 | Analysis of algorithms and problem complexity |
| 68T15 | Theorem proving (deduction, resolution, etc.) (MSC2010) |
| 68R10 | Graph theory (including graph drawing) in computer science |
| 92D20 | Protein sequences, DNA sequences |
