Login / Signup
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy - (Extended Abstract).
Manfred Kufleitner
Jan Philipp Wächter
Published in:
CSR (2016)
Keyphrases
</>
extended abstract
word problems
knowledge acquisition