External Links

Cite Key

Statistics

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

PDF

Tags

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.

Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete

Omer Giménez, Guillem Godoy, Sebastian Maneth. Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete. SIAM Journal on Computing, 40(2):446-464, 2011. [doi]

Authors

Omer Giménez

This author has not been identified. Look up 'Omer Giménez' in Google

Guillem Godoy

This author has not been identified. Look up 'Guillem Godoy' in Google

Sebastian Maneth

This author has not been identified. It may be one of the following persons: Look up 'Sebastian Maneth' in Google
runs on