Suchergebnisse - Bellin, Gianluigi

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

    Mechanizing proof theory: resource-aware logics and proof-transformations to extract implicit information
    von Bellin, Gianluigi

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A decision procedure revisited: notes on direct logic, linear logic and its implementations
    von Bellin, Gianluigi, Ketonen, Jussi

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    On the pi-calculus and linear logic
    von Bellin, Gianluigi, Scott, P. J.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Proof nets for multiplicative and additive linear logic
    von Bellin, Gianluigi

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Mechanizing proof theory: resource-aware logics and proof-transformations to extract implicit information
    von Bellin, Gianluigi

    Veröffentlicht 1990
    Buch


    Gespeichert in:

Suchwerkzeuge: