| Guillaume Saint-Pierre < Guillem Godoy < Guiraude Lame | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000273 (2000) | Miquel Bofill ; Guillem Godoy ; Robert Nieuwenhuis ; Albert Rubio | Modular Redundancy for Theorem Proving |
| 001228 (2004) | Guillem Godoy ; Ashish Tiwari | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure |
| 002590 (2005) | Mirtha-Lina Fernández ; Guillem Godoy ; Albert Rubio | Orderings for Innermost Termination |
| 002D87 |