✦ LIBER ✦

Two Complete Axiom Systems for the Extended Language of Regular Expressions

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complete Classifications for the Communi

✍ Pascal Tesson; Denis Thérien 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 289 KB

The emptiness of complement problem for

✍ J.M. Robson 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 377 KB

Errata: Two Autonomous Axiom Systems for

📂 Article 📅 1955 🏛 Oxford University Press 🌐 English ⚖ 140 KB

A Complete Axiom System for Polygonal Me

✍ Ian Pratt; Dominik Schoop 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 315 KB

A System of Completely Independent Axiom

✍ Shianghaw Wang 📂 Article 📅 1943 🏛 Association for Symbolic Logic 🌐 English ⚖ 392 KB

The Infinite 2-Star Height Hierarchy of

✍ K. Hashiguchi 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 363 KB