Login / Signup

Proof by Consistency in Constructive Systems with Final Algebra Semantics.

Olav Lysne
Published in: ALP (1992)
Keyphrases
  • learning systems
  • distributed systems
  • complex systems
  • formal semantics
  • logic programming
  • semantic information
  • correctness criterion