( en | de | ru )

 

Disambiguierung von "Meyer, Albert R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
"Type" Is Not A Type.

, und . POPL, Seite 287-295. ACM Press, (1986)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Albert Meyer

Albert Meyer

Albert Meyer

Albert Meyer

Albert Meyer

 

Weitere Publikationen von Autoren mit dem selben Namen

Coping with Errors in Binary Search Procedures (Preliminary Report), , , , und . STOC, Seite 227-232. ACM, (1978)Equations between Regular Terms and an Application to Process Logic, , , und . STOC, Seite 384-390. ACM, (1981)On Time-Space Classes and Their Relation to the Theory of Real Addition, und . STOC, Seite 233-239. ACM, (1978)Computational Speed-Up by Effective Operators., und . J. Symb. Log., 37 (1): 55-68 (1972)A note on disjunctive form tautologies., , , , und . SIGACT News, 5 (2): 17-20 (1973)Refinements of the Nondeterministic Time and Space Hierarchies, , und . SWAT, Seite 130-137. IEEE Computer Society, (1973)On Computational Speed-Up, und . SWAT, Seite 351-355. IEEE Computer Society, (1968)A solution of an interleaving decision problem by a partial order technique., und . Partial Order Methods in Verification, Volume 29 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 203-211. DIMACS/AMS, (1996)Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report., und . CONCUR, Volume 630 von Lecture Notes in Computer Science, Seite 17-31. Springer, (1992)From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview., , und . Logic of Programs, Volume 164 von Lecture Notes in Computer Science, Seite 474-500. Springer, (1983)