Albert R. Meyer

发表

Joel H. Spencer, Ronald L. Rivest, Karl Winklmann, 1978, STOC.
Patrick C. Fischer, Albert R. Meyer, 1968, SWAT.
Albert R. Meyer, Rohit Parikh, A. Meyer, 1980, STOC '80.
Albert R. Meyer, Robert Moll, A. Meyer, 1972, Journal of Symbolic Logic.
Kim B. Bruce, Albert R. Meyer, A. Meyer, 1984, Semantics of Data Types.
Michael J. Fischer, Albert R. Meyer, M. Fischer, 1971, SWAT.
John C. Mitchell, Kim B. Bruce, Albert R. Meyer, 1990, Inf. Comput..
Albert R. Meyer, Trevor Jim, 1996, SIAM J. Comput..
Val Tannen, Albert R. Meyer, A. Meyer, 1987, POPL '87.
Albert R. Meyer, 1994, TACS.
Albert R. Meyer, Edward M. McCreight, A. Meyer, 1969, STOC.
Albert R. Meyer, 1972, Inf. Control..
Joel H. Spencer, Ronald L. Rivest, Karl Winklmann, 1980, J. Comput. Syst. Sci..
Joseph Y. Halpern, Albert R. Meyer, A. Meyer, 1981, POPL '81.
Nancy A. Lynch, Michael J. Fischer, Albert R. Meyer, 1973, STOC '73.
Michael J. Fischer, Albert R. Meyer, Mike Paterson, 1975, STOC '75.
Peter Szolovits, Ronald L. Rivest, Albert R. Meyer, 1991 .
Michael J. Fischer, Albert R. Meyer, Joel I. Seiferas, 1978, JACM.
Michael J. Fischer, Albert R. Meyer, Mike Paterson, 1982, SIAM J. Comput..
Shimon Even, Albert R. Meyer, A. Meyer, 1969, IEEE Transactions on Computers.
Albert R. Meyer, Lalita Jategaonkar Jagadeesan, 1993, ICALP.
Albert R. Meyer, Lalita Jategaonkar, 1993, LICS 1993.
Albert R. Meyer, Gilles Kahn, A. Meyer, 1994 .
Michael Ian Shamos, Albert R. Meyer, 1977 .
Albert R. Meyer, Ernst W. Mayr, A. Meyer, 1981, JACM.
Albert R. Meyer, Grazyna Mirkowska, Robert S. Streett, 1979, Logic of Programs.
Albert R. Meyer, A. Meyer, 1969, JACM.
Richard Statman, John C. Mitchell, Albert R. Meyer, 1987, POPL '87.
John C. Mitchell, Albert R. Meyer, A. Meyer, 1983, Inf. Control..
Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh, 1985, SIAM J. Comput..
Arnold L. Rosenberg, Patrick C. Fischer, Albert R. Meyer, 1968, Mathematical systems theory.
Michael J. Fischer, Albert R. Meyer, Peter A. Bloniarz, 1976, ICALP.
Albert R. Meyer, Trevor Jim, 1991, TACS.
Albert R. Meyer, Michael A. Taitslin, 1989, Lecture Notes in Computer Science.
Albert R. Meyer, Alexander Moshe Rabinovich, 1996, Partial Order Methods in Verification.
Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot, 1984, POPL '84.
Albert R. Meyer, Larry J. Stockmeyer, L. Stockmeyer, 2002, JACM.
Albert R. Meyer, Caroline Whitbeck, 2006 .
Albert R. Meyer, C. Thompson, A. Meyer, 1969, Mathematical systems theory.
Karl Winklmann, Albert R. Meyer, A. Meyer, 1979, STOC.
Shimon Even, Albert R. Meyer, 1966, IEEE Trans. Electron. Comput..
John C. Mitchell, Albert R. Meyer, A. Meyer, 1985, Logic of Programs.
Albert R. Meyer, Eric Lehman, F. Thomson Leighton, 2017 .
Arnold L. Rosenberg, Patrick C. Fischer, Albert R. Meyer, 1970, J. Comput. Syst. Sci..
Albert R. Meyer, Lalita Jategaonkar Jagadeesan, 1996, Theor. Comput. Sci..
Albert R. Meyer, David Harel, Vaughan R. Pratt, 1977, STOC '77.
Albert R. Meyer, Jon G. Riecke, A. Meyer, 1988, LISP and Functional Programming.
Patrick C. Fischer, Albert R. Meyer, A. Meyer, 1972, Journal of Symbolic Logic.
Albert R. Meyer, Joel I. Seiferas, 1995, Ann. Pure Appl. Log..
Albert R. Meyer, Mitchell Wand, A. Meyer, 1985, Logic of Programs.
Joseph Y. Halpern, Albert R. Meyer, Michael C. Loui, 1986, Mathematical systems theory.
Jerzy Tiuryn, Albert R. Meyer, A. Meyer, 1981, Logic of Programs.
Albert R. Meyer, Caroline Whitbeck, 2009 .
Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh, 1981, STOC '81.
Val Tannen, Albert R. Meyer, 1993, Fundam. Informaticae.
Albert R. Meyer, Bard Bloom, A. Meyer, 1992, Theor. Comput. Sci..
Karl Winklmann, Albert R. Meyer, A. Meyer, 1982, Theor. Comput. Sci..
A. Prasad Sistla, Nissim Francez, Edmund M. Clarke, 1984, Inf. Control..
Albert R. Meyer, Lalita Jategaonkar Jagadeesan, A. Meyer, 1992, CONCUR.
Albert R. Meyer, A. Meyer, 1982, Inf. Control..
Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot, 1983, Logic of Programs.
Albert R. Meyer, Larry J. Stockmeyer, L. Stockmeyer, 1973, STOC.
Jerzy Tiuryn, Albert R. Meyer, A. Meyer, 1984, J. Comput. Syst. Sci..
Albert R. Meyer, Bard Bloom, A. Meyer, 1989, Logic at Botik.
Arnold L. Rosenberg, Patrick C. Fischer, Albert R. Meyer, 1972, JACM.
Albert R. Meyer, Mark B. Reinhold, A. Meyer, 1986, POPL '86.
Albert R. Meyer, Kurt Sieber, A. Meyer, 1988, POPL '88.
Albert R. Meyer, A. Meyer, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Albert R. Meyer, A. Bagchi, 1972, STOC '72.
Val Tannen, Albert R. Meyer, A. Meyer, 1985, Logic of Programs.
Albert R. Meyer, Sorin Istrail, Bard Bloom, 1988, POPL '88.
Albert R. Meyer, Lalita Jategaonkar Jagadeesan, A. Meyer, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Albert R. Meyer, Rohit Parikh, 1981, J. Comput. Syst. Sci..
John C. Mitchell, Albert R. Meyer, A. Meyer, 1982, POPL '82.
Dennis M. Ritchie, Albert R. Meyer, A. Meyer, 1967, ACM National Conference.
Arnold L. Rosenberg, Patrick C. Fischer, Albert R. Meyer, 1967, SWAT.
Albert R. Meyer, Larry J. Stockmeyer, L. Stockmeyer, 1972, SWAT.
Albert R. Meyer, Anna R. Bruss, 1980, Theor. Comput. Sci..
Arnold L. Rosenberg, Patrick C. Fischer, Albert R. Meyer, 1967, SWAT.
Albert R. Meyer, Grazyna Mirkowska, Robert S. Streett, 1981, ICALP.
Albert R. Meyer, Irene Greif, A. Meyer, 1979, Theoretical Computer Science.
Albert R. Meyer, Irene Greif, 1979 .
Albert R. Meyer, Alexander Moshe Rabinovich, 2002, J. Autom. Lang. Comb..
Albert R. Meyer, S. S. Cosmadakis, Jon G. Riecket, 1990 .
Dennis M. Ritchie, Albert R. Meyer, A. Meyer, 1972 .
Albert R. Meyer, Paul Young, John Helm, 1973 .
Albert R. Meyer, Val Breazu-Tannen, 1990 .
Albert R. Meyer, S. S. Cosmadakis, 1988 .
Albert R. Meyer, Edward M. McCreight, A. Meyer, 1969 .