Home > Research > Publications & Outputs
  1. Preprint
  2. Published

    The combinatorics of tensor products of higher Auslander algebras of type $A$

    McMahon, J. & Williams, N. J., 18/01/2020.

    Research output: Working paperPreprint

  3. Published

    Proving soundness of combinatorial Vickrey auctions and generating verified executable code

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 8/08/2013, (arXiv preprint arXiv:1308.1779).

    Research output: Working paperPreprint

  4. Published

    Yet another proof of Goedel's completeness theorem for first-order classical logic

    Caminati, M. B., 11/10/2009, (arXiv preprint arXiv:0910.2059).

    Research output: Working paperPreprint

  5. Published

    An upper bound on the number of zeros of a piecewise polinomial function

    Caminati, M., 15/10/2008, (arXiv preprint arXiv:0810.2634).

    Research output: Working paperPreprint

  6. Podcast
  7. Published

    ACFM - Reactionary Democracy

    Mondon, A. & Winter, A., 5/05/2024

    Research output: Exhibits, objects and web-based outputsPodcast

  8. Published

    100 Years, 100 Objects: Stories from the Collections of Lancaster City Museums: Bonus Episode

    Bennett, B., 21/12/2023

    Research output: Exhibits, objects and web-based outputsPodcast

  9. Published

    Yeah Nah Pasaran! #188 with Aaron Winter on Reactionary Democracy, racism and antisemitism

    Winter, A., 30/11/2023

    Research output: Exhibits, objects and web-based outputsPodcast

  10. Published

    The origins of agile project management

    Dalcher, D., 26/10/2023

    Research output: Exhibits, objects and web-based outputsPodcast

  11. Published

    Surviving Society (Episode 184): Aaron Winter: Factional Regrouping and UK Politics

    Winter, A., 26/09/2023

    Research output: Exhibits, objects and web-based outputsPodcast

  12. Published

    Cultures of Digital Hate

    Yelin, H. & Clancy, L., 1/09/2023

    Research output: Exhibits, objects and web-based outputsPodcast

Back to top