Author of the publication

A Characterization of Min or Max: 10677.

, and . The American Mathematical Monthly, 107 (7): 654-655 (2000)

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.

 

Other publications of authors with the same name

Termination of Abstract Reduction Systems., and . Int. J. Found. Comput. Sci., 20 (1): 57-82 (2009)Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version., , , and . CoRR, (2013)Machine-Checking the Timed Interval Calculus., and . Australian Joint Conference on Artificial Intelligence, volume 2557 of Lecture Notes in Computer Science, page 95-106. Springer, (2002)A Mechanisation of Classical Modal Tense Logics Using Isabelle., and . Australian Joint Conference on Artificial Intelligence, volume 1502 of Lecture Notes in Computer Science, page 107-118. Springer, (1998)Formalising Observer Theory for Environment-Sensitive Bisimulation., and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 180-195. Springer, (2009)Issues in Machine-Checking the Decidability of Implicational Ticket Entailment., and . TABLEAUX, volume 10501 of Lecture Notes in Computer Science, page 347-363. Springer, (2017)Decomposition of binary matroids.. Combinatorica, 5 (1): 1-9 (1985)Isabelle Theories for Machine Words.. AVoCS, volume 250 of Electronic Notes in Theoretical Computer Science, page 55-70. Elsevier, (2007)Termination of Abstract Reduction Systems., and . CATS, volume 65 of CRPIT, page 35-43. Australian Computer Society, (2007)Well-Founded Unions., , and . IJCAR, volume 10900 of Lecture Notes in Computer Science, page 117-133. Springer, (2018)