𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || On transitive closure logic

✍ Scribed by Börger, Egon; Jäger, Gerhard; Kleine Büning, Hans; Richter, Michael M.

Book ID
120925348
Publisher
Springer-Verlag
Year
1992
Tongue
German
Weight
898 KB
Edition
1992
Category
Article
ISBN-13
9783540557890

No coin nor oath required. For personal study only.

✦ Synopsis

E. Borger ... (et.al.) Eds.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Logic programming in Tau Categories
✍ Pacholski, Leszek; Tiuryn, Jerzy 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 836 KB

Subtyping With Singleton Types / David Aspinall -- A Subtyping For The Fisher-honsell-mitchell Lambda Calculus Of Objects / Viviana Bono And Luigi Liquori -- The Girard Translation Extended With Recursion / Torben Brauner -- Decidability Of Higher-order Subtyping With Intersection Types / Adriana B.

[Lecture Notes in Computer Science] Deon
[Lecture Notes in Computer Science] Deontic Logic in Computer Science Volume 5076 || A Deontic Logic for Socially Optimal Norms
✍ van der Meyden, Ron; van der Torre, Leendert 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 379 KB

This volume presents the papers contributed to ?EON 2008, the 9th Inter- tional Conference on Deontic Logic in Computer Science, held in Luxembourg, July 16–18, 2008. This biennial conference series is designed to promote int- national cooperation amongst scholars who are interested in deontic logic