Guillem Godoy

Identifiers

• name variant Guillem Godoy 0.60 · backfill

Papers (2)

1. Unification and Matching on Compressed Terms cs.LO · 2010 · author #2
2. Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete cs.SC · 2009 · author #2

Mentions

• 1003.1632 #2 · backfill · confidence 0.70 Guillem Godoy
• 0911.3674 #2 · backfill · confidence 0.70 Guillem Godoy

Frequent Coauthors

• Adri\`a Gasc\'on 1 shared papers
• Manfred Schmidt-Schau{\ss} 1 shared papers
• Omer Gim\'enez 1 shared papers
• Sebastian Maneth 1 shared papers