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

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Algorithmic aspects of propositional tense logics

โœ Scribed by Pacholski, Leszek; Tiuryn, Jerzy

Book ID
115527318
Publisher
Springer Berlin Heidelberg
Year
1995
Weight
638 KB
Category
Article
ISBN-13
9783540600176

No coin nor oath required. For personal study only.

๐Ÿ“œ 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.