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.

First-order unification using variable-free relational algebra

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira. First-order unification using variable-free relational algebra. Logic Journal of the IGPL, 19(6):790-820, 2011. [doi]

Authors

Emilio Jesús Gallego Arias

This author has not been identified. Look up 'Emilio Jesús Gallego Arias' in Google

James Lipton

This author has not been identified. Look up 'James Lipton' in Google

Julio Mariño

This author has not been identified. Look up 'Julio Mariño' in Google

Pablo Nogueira

This author has not been identified. Look up 'Pablo Nogueira' in Google
runs on