๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Place of Dialogue Theory in Logic, Computer Science and Communication Studies

โœ Scribed by Douglas Walton

Book ID
110221598
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
69 KB
Volume
123
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cate
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || A dialectica-like model of linear logic
โœ Pitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew M.; Poignรฉ, Ax ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 709 KB

The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get c

[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