𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Graphtheoretic Concepts in Computer Science Volume 100 || Investigating programs in terms of partial graphs

✍ Scribed by Noltemeier, Hartmut

Book ID
111947467
Publisher
Springer Berlin Heidelberg
Year
1981
Weight
100 KB
Category
Article
ISBN
3540384359

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Grap
[Lecture Notes in Computer Science] Graph-Theoretic Concepts in Computer Science Volume 3353 || Lexicographic Breadth First Search – A Survey
✍ Hromkovič, Juraj; Nagl, Manfred; Westfechtel, Bernhard πŸ“‚ Article πŸ“… 2004 πŸ› Springer Berlin Heidelberg 🌐 German βš– 245 KB

During Its 30-year Existence, The International Workshop On Graph-theoretic Concepts In Computer Science Has Become A Distinguished And High-quality Computer Science Event. The Workshop Aims At Uniting Theory And Practice By Demonstrating How Graph-theoretic Concepts Can Successfully Be Applied To V

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