✦ LIBER ✦

A First-Order Isomorphism Theorem

✍ Scribed by Allender, Eric; Balcázar, José; Immerman, Neil

Book ID: 118177393
Publisher: Society for Industrial and Applied Mathematics
Year: 1997
Tongue: English
Weight: 292 KB
Volume: 26
Category: Article
ISSN: 0097-5397
DOI: 10.1137/s0097539794270236

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Note on first isomorphism theorem in lat

Note on first isomorphism theorem in lattices

✍ Iqbalunnisa 📂 Article 📅 1971 🏛 Akadmiai Kiad 🌐 English ⚖ 184 KB

A Theorem of Isomorphism

✍ Harte, R. E. 📂 Article 📅 1966 🏛 Oxford University Press 🌐 English ⚖ 287 KB

An isomorphism theorem

✍ Franklin, Stanley P. 📂 Article 📅 1968 🏛 Springer-Verlag 🌐 English ⚖ 149 KB

First order completeness theorems

✍ John J. Wavrik 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 905 KB

First-order theorem proving: Foreword

✍ Nicolas Peltier; Viorica Sofronie-Stokkermans 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 139 KB

A 2-Isomorphism Theorem for Hypergraphs

✍ Dirk Vertigan; Geoff Whittle 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 330 KB

One can associate a polymatroid with a hypergraph that naturally generalises the cycle matroid of a graph. Whitney's 2-isomorphism theorem characterises when two graphs have isomorphic cycle matroids. In this paper Whitney's theorem is generalised to hypergraphs and polymatroids by characterising wh