✦ LIBER ✦

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1991 Volume 520 || Partial higher-order specifications

✍ Scribed by Tarlecki, Andrzej

Book ID: 111899322
Publisher: Springer Berlin Heidelberg
Year: 1991
Weight: 879 KB
Category: Article
ISBN: 3540475796
DOI: 10.1007/3-540-54345-7_50

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2004 Volume 3153 || Algebraic Recognizability of Languages

✍ Fiala, Jiří; Koubek, Václav; Kratochvíl, Jan 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 276 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2004 Volume 3153 || Algebraic Recognizability of Languages

✍ Fiala, Jiří; Koubek, Václav; Kratochvíl, Jan 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 276 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Developing implicit data structures

✍ Gruska, Jozef; Rovan, Branislav; Wiedermann, Juraj 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 German ⚖ 448 KB

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

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2001 Volume 2136 || Syntactic Semiring of a Language

✍ Sgall, Jiří; Pultr, Aleš; Kolman, Petr 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 136 KB

This Volume Contains Papers Selected For Presentation At The 26th International Symposium On Mathematical Foundations Of Computer Science – Mfcs 2001, Held In Mari´ansk´el´azn?e, Czech Republic, August 27 – 31, 2001. Mfcs 2001 Was Organized By The Mathematical Institute (academy Of S- Ences Of The C

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1992 Volume 629 || On computational power of weighted finite automata

✍ Havel, Ivan M.; Koubek, Václav 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 512 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 1234 || Models for the logic of proofs

✍ Adian, Sergei; Nerode, Anil 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 486 KB