Login / Signup
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas.
Sebastian Danicic
Robert M. Hierons
Michael R. Laurence
Published in:
J. Log. Algebraic Methods Program. (2011)
Keyphrases
</>
databases
strong equivalence
xml schema