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 |