Suchergebnisse - Simpson, Alex K.

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    The proof theory and semantics of intuitionistic modal logic
    von Simpson, Alex K.

    Veröffentlicht 1994
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Foundations of software science and computation structures: 22nd international conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Simpson, Alex K. …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    30th EACSL Annual Conference on Computer Science Logic: CSL 2022, February 14–19, 2022, Göttingen, Germany (Virtual Conference)

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Simpson, Alex K. …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: