Login / Signup
About the undecidability of program equivalence in finitary languages with state.
Andrzej S. Murawski
Published in:
ACM Trans. Comput. Log. (2005)
Keyphrases
</>
description logics
databases
neural network
hidden markov models
information extraction
programming language
test cases