Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Guillem Godoy
Map detail
Guillem Godoy4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipGuillem GodoyAGuillem GodoyResearcherUnification and Matching on Compressed TermsWUnification and Matchin...preprint / 2010Termination of Rewriting with Right-Flat Rules Modulo Permutative TheoriesWTermination of Rewritin...preprint / 2010Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat TheoriesWDecidable Classes of Tr...preprint / 2013
Person3 links

Guillem Godoy

Researcher