 | 2012 |
|---|
| 9 |       | Carles Creus,
Adria Gascón,
Guillem Godoy:
One-context Unification with STG-Compressed Terms is in NP.
RTA 2012: 149-164 |
| 2011 |
|---|
| 8 |  | Marta Arias,
Carles Creus,
Adria Gascón,
Guillem Godoy:
Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions.
CSEDU (2) 2011: 93-98 |
| 7 | | Adria Gascón,
Sebastian Maneth,
Lander Ramos:
First-Order Unification on Compressed Terms.
RTA 2011: 51-60 |
| 6 | | Adria Gascón,
Guillem Godoy,
Manfred Schmidt-Schauß:
Unification and matching on compressed terms.
ACM Trans. Comput. Log. 12(4): 26 (2011) |
| 2010 |
|---|
| 5 | | Adria Gascón,
Guillem Godoy,
Manfred Schmidt-Schauß:
Unification and Matching on Compressed Terms
CoRR abs/1003.1632: (2010) |
| 4 | | Adria Gascón,
Guillem Godoy,
Manfred Schmidt-Schauß,
Ashish Tiwari:
Context unification with one context variable.
J. Symb. Comput. 45(2): 173-193 (2010) |
| 2009 |
|---|
| 3 | | Adria Gascón,
Guillem Godoy,
Manfred Schmidt-Schauß:
Unification with Singleton Tree Grammars.
RTA 2009: 365-379 |
| 2 | | Adria Gascón,
Guillem Godoy,
Florent Jacquemard:
Closure of Tree Automata Languages under Innermost Rewriting.
Electr. Notes Theor. Comput. Sci. 237: 23-38 (2009) |
| 2008 |
|---|
| 1 | | Adria Gascón,
Guillem Godoy,
Manfred Schmidt-Schauß:
Context Matching for Compressed Terms.
LICS 2008: 93-102 |
Data released under the ODC-BY 1.0 license — See also our legal information page