✦ LIBER ✦

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1644 || Closed Freyd- and κ-categories

✍ Scribed by Wiedermann, Jiří; van Emde Boas, Peter; Nielsen, Mogens

Book ID: 120034766
Publisher: Springer Berlin Heidelberg
Year: 1999
Weight: 140 KB
Category: Article
ISBN: 3540485236
DOI: 10.1007/3-540-48523-6_59

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1644 || Closed Freyd- and κ-categories

✍ Wiedermann, Jiří; van Emde Boas, Peter; Nielsen, Mogens 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 140 KB

This book constitutes the refereed proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP'99, held in Prague, Czech Republic, in July 1999. The 56 revised full papers presented were carefully reviewed and selected from a total of 126 submissions; also included

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 14 || Composition of automata

✍ Loeckx, J. 📂 Article 📅 1974 ⚖ 785 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 172 || Languages and inverse semigroups

✍ Paredaens, Jan 📂 Article 📅 1984 🏛 Springer Berlin Heidelberg ⚖ 539 KB

[Lecture Notes in Computer Science] Comb

[Lecture Notes in Computer Science] Combinators and Functional Programming Languages Volume 242 || Cartesian closed categories and lambda-calculus

✍ Cousineau, Guy; Curien, Pierre-Louis; Robinet, Bernard 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 790 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 267 || Non-uniform automata over groups

✍ Ottmann, Thomas 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg ⚖ 945 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5126 || STORMED Hybrid Systems

✍ Aceto, Luca; Damgård, Ivan; Goldberg, Leslie Ann; Halldórsson, Magnús M.; Ingólf 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 469 KB