Login / Signup

Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems.

Rodney R. HowellLouis E. Rosier
Published in: ICALP (1987)
Keyphrases
  • conflict free
  • decision making
  • state space
  • databases
  • database
  • expert systems
  • management system
  • functional dependencies