The following pages link to Mírian Halfeld Ferrari Alves (Q3518986):
Displayed 8 items.
- (Q3518988) (← links)
- Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution (Q3585042) (← links)
- Update rules in datalog programs (Q4228073) (← links)
- Passive and active rules in deductive databases (Q5096897) (← links)
- Update rules in datalog programs (Q5101442) (← links)
- Weak Inclusion for XML Types (Q5200049) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311158) (← links)
- Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator) (Q5429562) (← links)