Letter to the editor: Computer logic in information processes

zbMath1013.94528MaRDI QIDQ1567748

N. A. Kuznetsov, Vassily Lyubetsky

Publication date: 8 July 2003

Published in: Problems of Information Transmission (Search for Journal in Brave)

zbMATH Keywords

information processes in technical systemslanguage of informational interactionslanguage of processes

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Information theory (general) (94A15)

This page was built for publication: Letter to the editor: Computer logic in information processes