[ACM Press the 1994 ACM symposium - Phoenix, Arizona, United States (1994.03.06-1994.03.08)] Proceedings of the 1994 ACM symposium on Applied computing - SAC '94 - Seeding the population
- 作者Julstrom, Bryant A.
- 文件大小472.92KB
- 发表时间1994
- DOI10.1145/326619.326728
- 页码222-226
On conservative extensions of syntax in system developmentAndrzej Blikle; Andrzej Tarlecki; Mikkel Thorup · 1991
On the Notion of ProcessAndrzej J. Blikle · 1965
Formalisation of Parenthesis-Free LanguagesAndrzej J. Blikle · 1966
Denotational engineeringAndrzej Blikle · 1989
The clean termination of iterative programsAndrzej Blikle · 1981
Equational languagesAndrzej Blikle · 1972
Formal Languages.by Arto SalomaaReview by: Andrzej Blikle · The Journal of Symbolic Logic · 1977
An Experiment with Denotational SemanticsBlikle, Andrzej · SN Computer Science · 2020
Abstraction in query processingImielinski, Tomasz · Journal of the ACM · 1991
The PCP theorem by gap amplificationDinur, Irit · Journal of the ACM · 2007
New Methods in Automatic ExtractingEdmundson, H. P. · Journal of the ACM · 1969
Inference of Reversible LanguagesAngluin, Dana · Journal of the ACM · 1982
Eigenvalues and expansion of regular graphsKahale, Nabil · Journal of the ACM · 1995
An Algorithm for Convex PolytopesChand, Donald R.; Kapur, Sham S. · Journal of the ACM · 1970
How to construct random functionsGoldreich, Oded; Goldwasser, Shafi; Micali, Silvio · Journal of the ACM · 1986
An Algorithm for Subgraph IsomorphismUllmann, J. R. · Journal of the ACM · 1976