Searching for authors named "Guillem Godoy" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Confluence of shallow right-linear rewrite systems
- …Confluence of Shallow Right-Linear Rewrite Systems ⋆ Guillem Godoy 1 and Ashish Tiwari 2 1…
- Cited by 4 (0 self) – Add To MetaCart
-
On the Completeness of Arbitrary Selection Strategies for Paramodulation
- … and Guillem Godoy 2 1 Universitat de Girona, Dept. IMA, Llu'is Santal'o s/n, 17071 Girona, Spain mbofill…
- Cited by 5 (1 self) – Add To MetaCart
-
Tiwari: Termination of rewrite systems with shallow right-linear, collapsing and right-ground rules
- …? Guillem Godoy1 and Ashish Tiwari2 1 Technical University of Catalonia Jordi Girona 1, Barcelona, Spain…
- Cited by 3 (0 self) – Add To MetaCart
-
Paramodulation with Built-In Abelian Groups
- …Paramodulation with Built-In Abelian Groups Guillem Godoy and Robert Nieuwenhuis Dept. LSI…
- Cited by 6 (4 self) – Add To MetaCart
-
On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups
- … ? Guillem Godoy and Robert Nieuwenhuis Technical University of Catalonia, Dept. LSI, Jordi Girona 1, 08034…
- Cited by 3 (2 self) – Add To MetaCart
-
Superposition with Completely Built-in Abelian Groups
- … Groups Guillem Godoy 1 and Robert Nieuwenhuis 1 1 Dept. LSI, Technical University of Catalonia, Jordi…
- Cited by 1 (0 self) – Add To MetaCart
-
Modular Redundancy for Theorem Proving
- …Modular Redundancy for Theorem Proving Miquel Bofill y , Guillem Godoy z , Robert Nieuwenhuis…
- Add To MetaCart
-
Paramodulation with Non-Monotonic Orderings
- …Paramodulation with Non-Monotonic Orderings Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis…
- Cited by 9 (7 self) – Add To MetaCart
-
The Confluence of Ground Term Rewrite Systems is Decidable in Polynomial Time
- … , Guillem Godoy 2 , and Robert Nieuwenhuis 2 1 Stanford University, on leave from LSV, CNRS, ENS Cachan…
- Cited by 7 (1 self) – Add To MetaCart
-
Classes of Term Rewrite Systems with Polynomial Confluence Problems
- …Classes of Term Rewrite Systems with Polynomial Confluence Problems GUILLEM GODOY and ROBERT…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
