Treffer 1 – 5 von 5 für Suche 'Bellin, Gianluigi', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    A decision procedure revisited notes on direct logic, linear logic and its implementations

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    On the pi-calculus and linear logic

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proof nets for multiplicative and additive linear logic

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Mechanizing proof theory resource-aware logics and proof-transformations to extract implicit information

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Mechanizing proof theory resource-aware logics and proof-transformations to extract implicit information

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: