A Quadratic Lower Bound for Simulation

Lecture notes in computer science 2026 Open access

Read full text

Authors: Jan Friso Groote, Jan Martens

DOI: 10.1007/978-3-032-20684-8_6

Cited by: 0

References: 16

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems semigroups and automata theory

References 16