Loading [MathJax]/extensions/tex2jax.js

Parallel Computational Tree Logic.

Research output: Working paper/Preprint › Technical report › Research

Authors

Research Organisations

1 - 1 out of 1Page size: 20
Sort by: Start date
Order:

Projects

  1. Nonclassical logics: parametrised and enumeration complexity

    Meier, A. (Principal Investigator), Mahmood, Y. (Project staff) & Schindler, I. (Project staff)

    1 Oct 2013 → 31 Jul 2022

    Project: Research