Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: H

Number of items: 1.

H

Hirsch, R. and Mikulas, Szabolcs and Stokes, T. (2022) The algebra of non-deterministic programs: demonic operations, orders and axioms. Logic Journal of the IGPL 30 (5), pp. 886-906. ISSN 1367-0751.

This list was generated on Thu Dec 26 03:26:35 2024 GMT.