Suchergebnisse - Makowsky, Johann A. 1948-

Treffer filtern
  1. 1
    Buchumschlag

    Two approaches to nonmonotonic equality
    von Cohen, Arjeh M. 1949-, Makowsky, Johann A. 1948-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Probabilistic lower bounds for average case complexity
    von Sharell, Abraham, Makowsky, Johann A. 1948-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    The expressive power of transitive closure and 2-way multihead automata
    von Bargury, Yaniv, Makowsky, Johann A. 1948-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Computable directory queries
    von Dahlhaus, E., Makowsky, Johann A. 1948-

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Weak second order characterizations of various program verification systems
    von Makowsky, Johann A. 1948-, Sain, I.

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    On the equivalence of weak second order and non-standard time semantics for various program verification systems
    von Makowsky, Johann A. 1948-, Sain, I.

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Characterizing specification languages which admit initial semantics
    von Mahr, B., Makowsky, Johann A. 1948-

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    MUSICIAN, a music processing and synthesis system
    von Ban, A., Makowsky, Johann A. 1948-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Incremental restructuring of relational schemas
    von Markowitz, Victor M., Makowsky, Johann A. 1948-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Why Horn formulas matter in computer science: initial structures and generic examples
    von Makowsky, Johann A. 1948-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    An array assignment for propositional dynamic logic
    von Makowsky, Johann A. 1948-, Tiomkin, M. L.

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    On the complexity of Herbrand's theorem
    von Itai, Alon, Makowsky, Johann A. 1948-

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Logics and generalized quantifiers
    von Makowsky, Johann A. 1948-

    Veröffentlicht 1974
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Computable quantifiers and logics capturing complexity classes: (extended abstract)
    von Makowsky, Johann A. 1948-, Pn̂uʾēlî, Yāchîn B.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Adequate test sets for loop testing
    von Rupp, M. Z., Makowsky, Johann A. 1948-, Pomeranz, I.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Update languages vs. query languages
    von Hasson, R. A., Makowsky, Johann A. 1948-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Programming reactive systems with statecharts
    von Grégoire, J.-C, Makowsky, Johann A. 1948-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Query languages for hierarchic databases
    von Dahlhaus, E., Makowsky, Johann A. 1948-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Incremental reorganization of relational databases
    von Markowitz, Victor A., Makowsky, Johann A. 1948-

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Unifying entity-relationship and universal relation approaches to user interfaces
    von Markowitz, Victor M., Makowsky, Johann A. 1948-

    Veröffentlicht 1986
    Buch


    Gespeichert in:

Suchwerkzeuge: