✦ LIBER ✦

A formal library of set relations and its application to synchronous languages

✍ Scribed by Camilo Rocha; César Muñoz; Gilles Dowek

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A metatheorem for undecidable properties

✍ Stephan Heilbrunner 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 127 KB

Balancing situativity and formality: the

✍ Jelke van der Pal; Tessa Eysink 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 247 KB

A Treatise of Formal Logic: its Evolutio

✍ GREENWOOD, THOMAS 📂 Article 📅 1931 🏛 Nature Publishing Group 🌐 English ⚖ 314 KB

Formal theory of the comparative relatio

✍ Ramón-Alain Miranda-Quintana; Roberto Cruz-Rodes; Edelsys Codorniu-Hernandez; Al 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 230 KB

New dynamic inductance concept and its a

✍ Manning, C.D.; Abdel Halim, Mohamed A 📂 Article 📅 1988 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 813 KB

A characterization of strictly locally t

✍ Aldo De Luca; Antonio Restivo 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 868 KB