Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Processes, Terms and Cycles: Steps on the Road to Infinity
    Processes, Terms and Cycles: Steps on the Road to Infinity
    Aart Middeldorp
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    The Spectra of Words.- On the Undecidability of Coherent Logic.- Löb's Logic Meets the ?-Calculus...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Rewriting Techniques and Applications
    Rewriting Techniques and Applications
    Vincent van Oostrom
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Termination Analysis of the Untyped ?-Calculus.- A Type-Based Termination Criterion for Dependent...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Logic Colloquium ’99
    Logic Colloquium ’99
    Vincent van Oostrom
    A K Peters/CRC Press
    Taschenbuch
    BOD - 5 Tage

    A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symb...

    76,80 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1