Suchergebnisse - Parikh, Rohit

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

    Propositional dynamic logics of programs: a survey
    von Parikh, Rohit

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Effectiveness
    von Parikh, Rohit

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1975
    Weitere beteiligte Personen: “… Parikh, Rohit …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: