Articles by Author

Author

Clare Martin

Oxford Brookes University
Oxford, United Kingdom

1 article by this author

Sort by:

A Logical Reconstruction of Batcher's Mergers Or: Bitonicity is a Red Herring

Research Article

A Logical Reconstruction of Batcher's Mergers Or: Bitonicity is a Red Herring

Ralf Hinze, Clare Martin

Part of: Functional Programming: Past, Present, and Future. Contributions dedicated to D.A. Turner on his 70th Birthday

10.3217/jucs-023-01-0021

28-01-2017

Unique: 745 | Total: 993

21-41

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics