Treffer 1 - 20 von 587 für Suche 'Meyer, Albert R.', Suchdauer: 1,26s Treffer weiter einschränken
  1. 1
    Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

    Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings von Meyer, Albert R, Taitslin, Michael A


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

    Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings von Ito, Takayasu, Meyer, Albert R


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Bisimulation can't be traced

    Bisimulation can't be traced von BLOOM, B, ISTRAIL, S, MEYER, A. R

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Cosmological lower bound on the circuit complexity of a small problem in logic

    Cosmological lower bound on the circuit complexity of a small problem in logic von Stockmeyer, Larry, Meyer, Albert R

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The complexity of the word problems for commutative semigroups and polynomial ideals

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Deciding true concurrency equivalences on safe, finite nets

    Deciding true concurrency equivalences on safe, finite nets von Jategaonkar, Lalita, Meyer, Albert R.

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    What is in a step: On the semantics of statecharts

    What is in a step: On the semantics of statecharts von Pnueli, A., Shalev, M.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Data flow analysis as model checking

    Data flow analysis as model checking von Steffen, Bernhard


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Full abstraction and the Context Lemma

    Full abstraction and the Context Lemma von JIM, T, MEYER, A. R

    Veröffentlicht in SIAM journal on computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    An extension of system F with subtyping

    An extension of system F with subtyping von Cardelli, Luca, Martini, Simone, Mitchell, John C., Scedrov, Andre


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Continuation semantics in typed lambda-calculi: Summary

    Continuation semantics in typed lambda-calculi: Summary von Meyer, Albert R., Wand, Mitchell


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    The coherence of languages with intersection types

    The coherence of languages with intersection types von Reynolds, John C.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Experimenting with process equivalence

    Experimenting with process equivalence von Bloom, Bard, Meyer, Albert R.

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    π-Calculus semantics of object-oriented programming languages

    π-Calculus semantics of object-oriented programming languages von Walker, David


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    The use of static constructs in a model process logic

    The use of static constructs in a model process logic von Hüttel, Hans, Larsen, Kim G.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    The International Conference on Theoretical Aspects of Computer Science

    The International Conference on Theoretical Aspects of Computer Science von Meyer, Albert R., Ito, Takayasu

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Intersection and union types

    Intersection and union types von Barbanera, Franco, Dezani-Ciancaglini, Mariangiola


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Computational speed-up by effective operators

    Computational speed-up by effective operators von Meyer, Albert R., Fischer, Patrick C.

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Parametricity of extensionally collapsed term models of polymorphism and their categorical properties

    Parametricity of extensionally collapsed term models of polymorphism and their categorical properties von Hasegawa, Ryu


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Singleton, union and intersection types for program extraction

    Singleton, union and intersection types for program extraction von Hayashi, Susumu


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: