๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 || Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

โœ Scribed by Bezhanishvili, Nick; Goranko, Valentin

Book ID
118068683
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
379 KB
Category
Article
ISBN
3642314856

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Lect
[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 || Introduction to Judgment Aggregation
โœ Bezhanishvili, Nick; Goranko, Valentin ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 668 KB

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers found

[Lecture Notes in Computer Science] Lect
[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 || A Short Introduction to Implicit Computational Complexity
โœ Bezhanishvili, Nick; Goranko, Valentin ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 290 KB

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers found

[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.