Searching for "On a generalized modularization theorem." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

New results on rewrite-based satisfiability procedures
by Allessandro Armando, Silvio Ranise, Stephan Schulz
… offsets and integer offsets modulo; —A general modularity theorem, that states sufficient conditions…
Cited by 12 (7 self) – Add To MetaCart

New
by Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Loria Inria-lorraine, Stephan Schulz
… and integer offsets modulo; —A general modularity theorem, that states sufficient conditions for SP…
Add To MetaCart

unknown title
by unknown authors
… of confluence, or termination, or weak termination, but rather seek a general modularity theorem applicable…
Add To MetaCart

Showing 1 through 3.

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