×

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
PDFBibTeX XMLCite
Full Text: DOI