Suchergebnisse - Meyer, Albert R.

Treffer filtern
  1. 1
    Buchumschlag

    Floyd-hoare logic defines semantics
    von Meyer, Albert R.

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The deducibility problem in propositional dynamic logic
    von Meyer, Albert R., Streett, Robert S., Mirkowska, Grażyna

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    The complexity of the word problems for commutative semigroups and polynomial ideals
    von Mayr, Ernst W. 1950-, Meyer, Albert R.

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Nlogn lower bounds on length of Boolean formula
    von Fischer, Michael J., Meyer, Albert R., Paterson, Michael S. 1942-

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    On time versus space III
    von Meyer, Albert R., Loui, Michael C., Weise, Daniel

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Axiomatic definitions of programming languages
    Band 2
    von Meyer, Albert R., Halpern, Joseph Y. 1953-

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Specifying the semantics of while-programs: a tutorial and critique of a paper by Hoare and Lauer
    von Greif, Irene, Meyer, Albert R.

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    A note on the average time to compute transitive closures
    von Bloniarz, Peter A., Fischer, Michael J., Meyer, Albert R.

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Discrete computation: theory and open problems ; preceptorial introduction to computer science for mathematicians; notes for the lectures
    von Meyer, Albert R.

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Discrete computations: theory and open problems ; notes for the lectures
    von Meyer, Albert R.

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    The inherent computational complexity of theories of ordered sets: a brief survey
    von Meyer, Albert R.

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Weak monadic second order theory of succesor is not elementary-recursive
    von Meyer, Albert R.

    Veröffentlicht 1973
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Bisimulation can't be traced: preliminary report
    von Bloom, Bard, Istrail, Sorin, Meyer, Albert R.

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Understanding ALGOL: the view of a recent convert to denotational semantics
    von Meyer, Albert R.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    What is a model of the Lambda calculus?
    von Meyer, Albert R.

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    A note on the length of Craig's interpolants
    von Meyer, Albert R.

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Axiomatic definitions of programming languages
    Band 1 - A theoretical asessment
    von Meyer, Albert R., Halpern, Joseph Y. 1953-

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Towards fully abstract semantics for local variables: preliminary report
    von Meyer, Albert R., Sieber, Kurt

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    The semantics of local storage, or what makes the free-list free?
    von Halpern, Joseph Y. 1953-, Meyer, Albert R., Trachtenbrot, Boris Avraamovič 1921-2016

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    From denotatonal to operational and axiomatic semantics for ALGOL-like languages: an overview
    von Trachtenbrot, Boris Avraamovič 1921-2016, Halpern, Joseph Y. 1953-, Meyer, Albert R.

    Veröffentlicht 1983
    Buch


    Gespeichert in:

Suchwerkzeuge: