|
Results 21 - 21 of 21 found about first order logic: Citations: Deduction with Shannon Graphs or: How to Lift BDDs to First-order...
...3 Reduction of first order BDDs BDDs are canonical forms in propositional logic, but not in first order logic, as.....How to Lift BDDs to First-order Logic. PhD thesis, Institut fur Logik, Komplexitat und.....How to Lift BDDs to First-order Logic. PhD thesis, Institut fur Logik, Komplexitat und..
http://citeseer.ist.psu.edu/context/45518/0, score=29, date indexed=August 6, 2005, 1:28 pm
Page Previous 1 2 3
Last accessed:2008/07/26 00:07:30 [Total processing time: 1217045250 seconds]
|
