A Decomposition Rule for Decision Procedures by Resolution-Based Calculi

From Tetherless World Wiki

Jump to: navigation, search
 A Decomposition Rule for Decision Procedures by Resolution-Based Calculi
Has publishing details  pp. 21-35, 2004
Has title  A Decomposition Rule for Decision Procedures by Resolution-Based Calculi
Has where published  LPAR
Has year  2004
Has author  Ullrich Hustadt +, Boris Motik +, Ulrike Sattler +
Has identifier  DBLP:conf/lpar/HustadtMS04 +
Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools