×

Found 4 Documents (Results 1–4)

A proof theoretical approach to communication. (English) Zbl 1401.68226

Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 325-335 (1997).
MSC:  68Q85 03B40 03F05 68Q05 68Q10 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Author

Year of Publication

Main Field