Login / Signup
Observations on the Decidability of Transitions.
Yuri Gurevich
Rostislav Yavorskiy
Published in:
Abstract State Machines (2004)
Keyphrases
</>
description logics
query answering
state transitions
information retrieval
objective function
state transition