✦ LIBER ✦

The Complexity of Homomorphisms and Renamings for Minimal Unsatisfiable Formulas

✍ Scribed by Hans Kleine Büning; Daoyun Xu

Publisher: Springer Netherlands
Year: 2005
Tongue: English
Weight: 150 KB
Volume: 43
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-004-9422-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of homomorphisms and rena

The complexity of homomorphisms and renamings for minimal unsatisfiable formulas

✍ Hans Kleine Büning; Daoyun Xu 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 165 KB

Existence and nonexistence of homotopy f

Existence and nonexistence of homotopy formulas for the Mizohata complex

✍ Jorge Hounie; Pedro Malagutti 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 617 KB

The minimal number of antigen-major hist

The minimal number of antigen-major histocompatibility complex class II complexes required for activation of naive and primed T cells

✍ Kazuhiko Kimachi; Michael Croft; Howard M. Grey 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 670 KB

Selberg trace formulae for heat and wave

Selberg trace formulae for heat and wave kernels of Maass Laplacians on compact forms of the complex hyperbolic space Hn(C), n⩾2

✍ Khadija Ayaz; Ahmed Intissar 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 213 KB

We establish explicit forms of Selberg trace formulae for heat and wave kernels of the Maass Laplacians D k on compact forms of the complex hyperbolic space H n (C), n 2. This was possible by establishing first an explicit general Selberg trace formula for automorphic kernels of weight k in H n (C)