Solutions Sets to Systems of Equations in Hyperbolic Groups Are EDT0L in PSPACE.

Laura Ciobanu Murray Elder

Published in: ICALP (2019)

Keyphrases

distributed systems
artificial intelligence
mathematical model
management system
benchmark problems
expert systems
intelligent systems
np complete
building blocks
complex systems
model checking
temporal logic
differential equations
linear systems