Search alternatives:
john's equation » young's equation, saha's equation, pol's equation
Cover Image
Read Now

1
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Fix-Point Equations for Well-Founded Recursion in Type Theory -- Programming and Computing in HOL...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- On the Frequency of Letters in Morphic Sequences -- Functional Equations in Shostak Theories -- All Semi-local...”