Treffer 1 – 4 von 4 für Suche 'Ramanujam, Ramaswamy', Suchdauer: 0,04s 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
    Equivalence on runs and PTL

    Equivalence on runs and PTL von Ramanujam, Ramaswamy

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Axiomatization of a partial order based temporal logic

    Axiomatization of a partial order based temporal logic von Ramanujam, Ramaswamy

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 2017, December 12–14, 2017, IIT Kanpur, India

    37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 2017, December 12–14, 2017, IIT Kanpur, India

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Rohit Parikh on Logic, Language and Society

    Rohit Parikh on Logic, Language and Society

    Veröffentlicht 2017
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: