𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Applications of Category Theory to the Area of Algebraic Specification in Computer Science

✍ Scribed by Hartmut Ehrig; Martin Große-Rhode; Uwe Wolter

Book ID
110266276
Publisher
Springer
Year
1998
Tongue
English
Weight
676 KB
Volume
6
Category
Article
ISSN
0927-2852

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some applications of computer algebra to
Some applications of computer algebra to problems in theoretical physics
✍ J.C. Eilbeck; V.Z. Enol'skii 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 440 KB

We consider some examples of the use of computer algebra packages, specifically Maple and Mathematica, applied to some problems in integrable and nonintegrable systems in nonlinear continuous and lattice wave models.

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 3967 || Evidence Reconstruction of Epistemic Modal Logic S5
✍ Grigoriev, Dima; Harrison, John; Hirsch, Edward A. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 339 KB

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. The 35 revised full theory papers and 29 revised application papers together with 3 invited talks address all major areas in computer science are addressed. The theory track d