( en | de | ru )

 

Disambiguation of "Tucker, John V."

Author of the publication

copydeleteadd this publication to your clipboard
Computations with oracles that measure vanishing quantities.

, , , and . Math. Struct. Comput. Sci., 27 (8): 1315-1363 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dewey Tucker

Richard Tucker

Tucker Hermans

Bernard Tucker

Lisa Tucker-Kellogg

 

Other publications of authors with the same name

Fields, Meadows and Abstract Data Types., , and . Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 166-178. Springer, (2008)Oracles and Advice as Measurements., , , and . UC, volume 5204 of Lecture Notes in Computer Science, page 33-50. Springer, (2008)Algebraic and Fixed Point Equations over Inverse Limits of Algebras., and . Theor. Comput. Sci., 87 (1): 1-24 (1991)On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness., and . Comput. J., 66 (7): 1565-1572 (July 2023)Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems., and . SIAM J. Comput., 12 (2): 366-387 (1983)Two Theorems About the Completeness of Hoare's Logic., and . Inf. Process. Lett., 15 (4): 143-149 (1982)Horn Programs and Semicomputable Relations on Abstract Structures., and . ICALP, volume 372 of Lecture Notes in Computer Science, page 745-760. Springer, (1989)Toward a General Theory of Computation and Specification over Abstract Data Types., and . ICCI, volume 468 of Lecture Notes in Computer Science, page 129-133. Springer, (1990)Algebraically Specified Programming Systems and Hoare's Logic., and . ICALP, volume 115 of Lecture Notes in Computer Science, page 348-362. Springer, (1981)Theory of Computation over Stream Algebras, and its Applications., and . MFCS, volume 629 of Lecture Notes in Computer Science, page 62-80. Springer, (1992)