Suchergebnisse - Pol, Jaco van de

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

    Termination of higher-order rewrite systems: = Terminatie van hogere-orde herschrijfsystemen
    von Pol, Jaco van de

    Veröffentlicht 1996
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Special issue on automated verification of critical systems (AVoCS'14)

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Pol, Jaco van de …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: