Articles by Author

Author

Ralf Hinze

Radboud University
Nijmegen, Netherlands

1 article by this author

Sort by:

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: 529 | Total: 710

21-41

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

OK

Web Analytics