TCS Journal 1996 Journal Article
Deciding true concurrency equivalences on safe, finite nets
- Lalita Jategaonkar
- Albert R. Meyer
Author name cluster
Albert R. Meyer
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
16 papers
2 author rows
Possible papers
16TCS Journal 1982 Journal Article
Expressing program looping in regular dynamic logic
- Albert R. Meyer
- Karl Winklmann
STOC Conference 1981 Conference Paper
Equations between Regular Terms and an Application to Process Logic
- Ashok K. Chandra
- Joseph Y. Halpern
- Albert R. Meyer
- Rohit Parikh
TCS Journal 1980 Journal Article
On time-space classes and their relation to the theory of real addition
- Anna R. Bruss
- Albert R. Meyer
STOC Conference 1979 Conference Paper
On the Expressive Power of Dynamic Logic (Preliminary Report)
- Albert R. Meyer
- Karl Winklmann
STOC Conference 1978 Conference Paper
Coping with Errors in Binary Search Procedures (Preliminary Report)
- Ronald L. Rivest
- Albert R. Meyer
- Daniel J. Kleitman
- Karl Winklmann
- Joel Spencer
STOC Conference 1978 Conference Paper
On Time-Space Classes and Their Relation to the Theory of Real Addition
- Anni R. Bruss
- Albert R. Meyer
STOC Conference 1977 Conference Paper
Computability and Completeness in Logics of Programs (Preliminary Report)
- David Harel
- Albert R. Meyer
- Vaughan R. Pratt
STOC Conference 1976 Conference Paper
Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report
- E. Cardoza
- Richard J. Lipton
- Albert R. Meyer
STOC Conference 1975 Conference Paper
Lower Bounds on the Size of Boolean Formulas: Preliminary Report
- Michael J. Fischer
- Albert R. Meyer
- Mike Paterson
STOC Conference 1973 Conference Paper
Sets that Don't Help
- Nancy A. Lynch
- Albert R. Meyer
- Michael J. Fischer
STOC Conference 1973 Conference Paper
Word Problems Requiring Exponential Time: Preliminary Report
- Larry J. Stockmeyer
- Albert R. Meyer
STOC Conference 1972 Conference Paper
Program Size and Economy of Descriptions: Preliminary Report
- Albert R. Meyer
- A. Bagchi
STOC Conference 1969 Conference Paper
Classes of Computable Functions Defined by Bounds on Computation: Preliminary Report
- Edward M. McCreight
- Albert R. Meyer