Treffer 1 – 7 von 7 für Suche 'Parikh, Rohit', Suchdauer: 0,05s 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
    Propositional dynamic logics of programs a survey

    Propositional dynamic logics of programs a survey von Parikh, Rohit

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Effectiveness

    Effectiveness von Parikh, Rohit

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Definability in dynamic logic

    Definability in dynamic logic von Meyer, Albert R., Parikh, Rohit

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Pumping lemmas regular sets

    Pumping lemmas regular sets von Ehrenfeucht, Andrzej 1932-, Parikh, Rohit, Rozenberg, Grzegorz 1942-

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A completeness result for a propositional dynamic logic

    A completeness result for a propositional dynamic logic von Parikh, Rohit

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A decidability result for a second order process logic

    A decidability result for a second order process logic von Parikh, Rohit

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Logic Colloquium Symposium on Logic Held at Boston, 1972–73

    Logic Colloquium Symposium on Logic Held at Boston, 1972–73

    Veröffentlicht 1975
    Weitere Verfasser: “… Parikh, Rohit …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: