𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1984 Volume 176 || Some connections between presentability of complexity classes and the power of formal systems of reasoning

✍ Scribed by Chytil, M. P.; Koubek, V.

Book ID
121413196
Publisher
Springer-Verlag
Year
1984
Tongue
German
Weight
342 KB
Edition
1984
Category
Article
ISBN-13
9783540133728

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Desc
[Lecture Notes in Computer Science] Descriptional Complexity of Formal Systems Volume 6808 || The Power of Diversity
✍ Holzer, Markus; Kutrib, Martin; Pighizzini, Giovanni πŸ“‚ Article πŸ“… 2011 πŸ› Springer Berlin Heidelberg 🌐 English βš– 199 KB

This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. The 21 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 54 submissions.

[Lecture Notes in Computer Science] Math
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Model and complexity of termination for distributed computations
✍ Gruska, Jozef; Rovan, Branislav; Wiedermann, Juraj πŸ“‚ Article πŸ“… 1986 πŸ› Springer-Verlag 🌐 German βš– 417 KB

Edited By J. Gruska, B. Rovan, And J. Wiedermann. Papers Presented At The 12th Symposium On Mathematical Foundations Of Computer Science. Includes Bibliographies.