Publication:4764625

zbMath0817.68092MaRDI QIDQ4764625

S. S. Ravi, Harry B. III Hunt, Madhav V. Marathe

Publication date: 16 July 1995

zbMATH Keywords

polynomial time approximation algorithms; hierarchically specified graphs

Mathematics Subject Classification ID

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