dblp.uni-trier.dewww.uni-trier.de

Mnacho Echenim Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
12EEThierry Boy de la Tour, Mnacho Echenim, Paliath Narendran: Unification and Matching Modulo Leaf-Permutative Equational Presentations. IJCAR 2008: 332-347
11EEMaria Paola Bonacina, Mnacho Echenim: On Variable-inactivity and Polynomial tau-Satisfiability Procedures. J. Log. Comput. 18(1): 77-96 (2008)
2007
10EEMaria Paola Bonacina, Mnacho Echenim: T-Decision by Decomposition. CADE 2007: 199-214
9EEThierry Boy de la Tour, Mnacho Echenim: Determining Unify-Stable Presentations. RTA 2007: 63-77
8EEMaria Paola Bonacina, Mnacho Echenim: Rewrite-Based Decision Procedures. Electr. Notes Theor. Comput. Sci. 174(11): 27-45 (2007)
7EEMaria Paola Bonacina, Mnacho Echenim: Rewrite-Based Satisfiability Procedures for Recursive Data Structures. Electr. Notes Theor. Comput. Sci. 174(8): 55-70 (2007)
6EEThierry Boy de la Tour, Mnacho Echenim: Permutative rewriting and unification. Inf. Comput. 205(4): 624-650 (2007)
2005
5EEThierry Boy de la Tour, Mnacho Echenim: Unification in a Class of Permutative Theories. RTA 2005: 105-119
2004
4EEThierry Boy de la Tour, Mnacho Echenim: Overlapping Leaf Permutative Equations. IJCAR 2004: 430-444
3EEThierry Boy de la Tour, Mnacho Echenim: On the Complexity of Deduction Modulo Leaf Permutative Equations. J. Autom. Reasoning 33(3-4): 271-317 (2004)
2003
2EEThierry Boy de la Tour, Mnacho Echenim: NP-Completeness Results for Deductive Problems on Stratified Terms. LPAR 2003: 317-331
1EEThierry Boy de la Tour, Mnacho Echenim: On Leaf Permutative Theories and Occurrence Permutation Groups. Electr. Notes Theor. Comput. Sci. 86(1): (2003)

Coauthor Index

1Maria Paola Bonacina [7] [8] [10] [11]
2Paliath Narendran [12]
3Thierry Boy de la Tour [1] [2] [3] [4] [5] [6] [9] [12]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)