Searching for authors named Mohamed Tajine – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Decidability of Regularity and Related Properties of Ground Normal Form Languages
by Gregory Kucherov, Mohamed Tajine, Centre De Recherche En Informatique, Rue Ren Descartes — 1992
…We study language-theoretical properties of the set of reducible ground terms and its complement - the set of ground normal forms induced by a given rewriting system. As a tool for our analysis we introduce the property of finite irreducibility of a term with respect to a variable and prove it to be…
Cited by 7 (3 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB