Login / Signup

Syntactical Models and Fixed Points for the Basic Logic of Proofs.

Tyko Straßen
Published in: Ann. Math. Artif. Intell. (1994)
Keyphrases
  • fixed point
  • linear logic
  • sufficient conditions
  • neural network
  • probabilistic model
  • dynamical systems
  • post processing
  • random fields