Login / Signup

Semi-stable semantics.

Martin W. A. CaminadaWalter Alexandre CarnielliPaul E. Dunne
Published in: J. Log. Comput. (2012)
Keyphrases
  • fine grained
  • high level
  • keypoints