Publication:4764625
From MaRDI portal
zbMath0817.68092MaRDI QIDQ4764625
S. S. Ravi, Harry B. III Hunt, Madhav V. Marathe
Publication date: 16 July 1995
68Q25: Analysis of algorithms and problem complexity
68R10: Graph theory (including graph drawing) in computer science
68W35: Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
Related Items
Model-checking hierarchical structures, Hierarchically specified unit disk graphs, Fixpoint logics over hierarchical structures