Searching for "Automated complexity analysis based on ordered resolution." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Automated Complexity Analysis Based on Ordered Resolution
by David Basin Universit, David Basin, Harald Ganzinger — 1996
…Automated Complexity Analysis Based on Ordered Resolution David Basin Universitat Freiburg…
Add To MetaCart

Automated Complexity Analysis Based on Ordered Resolution
by David Basin, David Basin, Harald Ganzinger, Harald Ganzinger, Im Stadtwald, Im Stadtwald — 1996
…MAX-PLANCK-INSTITUT F UR INFORMATIK \Omega \Psi ff \Phi Automated Complexity Analysis Based…
Cited by 32 (2 self) – Add To MetaCart

Showing 1 through 2.

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