External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

ACID-Unification Is NEXPTIME-Decidable

Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch. ACID-Unification Is NEXPTIME-Decidable. In Branislav Rovan, Peter Vojtás, editors, Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings. Volume 2747 of Lecture Notes in Computer Science, pages 169-178, Springer, 2003. [doi]

Authors

Siva Anantharaman

This author has not been identified. Look up 'Siva Anantharaman' in Google

Paliath Narendran

This author has not been identified. Look up 'Paliath Narendran' in Google

Michaël Rusinowitch

This author has not been identified. Look up 'Michaël Rusinowitch' in Google
runs on