8 pages matching least fixpoint in this book
Results 1-3 of 8
What people are saying - Write a review
We haven't found any reviews in the usual places.
27-homomorphism 27-predomain 4-assignment abstract with respect Acceptance sets Acceptance Trees algebraic cpo alternative characterization aNIL apply arbitrary arity axiom bNIL CL(t cNIL coincides compact element complete proof system complete with respect continuous function corollary defined definition derived directed set example finite elements follows FREC fully abstract function symbol homomorphism iA(t implies infinite input internal interpretation intuitive isomorphic labeled transition system least element least fixpoint lemma machine monotonic Musr node nondeterministic normal form notation obtain operational semantics output pA(t partial order particular prefix-closed processes proposition prove rDED(E rec x.ax rec y.ay recursive terms recx.t relation represents result rule satisfies set of equations set of inequations signature SMUST sound and complete structural induction subset Substitution lemma surjective syntactic term algebra Testing preorders theorem trivial unique variables Z-domain Z-po algebra