Login / Signup

Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem.

Cezary KaliszykHenk Barendregt
Published in: CPP (2011)
Keyphrases
  • fixed point theorem
  • fixed point
  • boundary value problem
  • boundary conditions
  • theorem prover
  • continuous functions
  • differential equations
  • neural network
  • multi agent systems
  • theoretical analysis