<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2018-06-26 03:55:02Measure theory FO Finite model theory Ergodic theory Mathematics Logic Mathematical logic Lie algebras Hopf decomposition Pattern language |
Add to Reading List |
Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca | 783 Documenta Math. A Root Space Decomposition for Finite Vertex AlgebrasDocID: 1pHJP - View Document |
| DECOMPOSITIONS OF LOOPED CO-H-SPACES ´ ∗ , S. THERIAULT, AND J. WU∗∗ J. GRBIC Abstract. We prove two homotopy decomposition theorems for the loops on simply-connected co-H-spaces, including a generalization of theDocID: NVyg - View Document |
| Lie Algebras, Algebraic Groups, and Lie GroupsDocID: 61hd - View Document |