The expressiveness of a family of finite set languages
- 1 April 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- On uniformity within NC1Journal of Computer and System Sciences, 1990
- Database theory columnACM SIGACT News, 1990
- Automatic verification of database transaction safetyACM Transactions on Database Systems, 1989
- Nondeterministic Space is Closed under ComplementationSIAM Journal on Computing, 1988
- Problems complete for deterministic logarithmic spaceJournal of Algorithms, 1987
- Languages that Capture Complexity ClassesSIAM Journal on Computing, 1987
- A taxonomy of problems with fast parallel algorithmsInformation and Control, 1985
- Constant Depth ReducibilitySIAM Journal on Computing, 1984
- Horn clauses and the fixpoint query hierarchyPublished by Association for Computing Machinery (ACM) ,1982
- Programming primitives for database languagesPublished by Association for Computing Machinery (ACM) ,1981