Computer Science Logic

DOI10.1007/b13224zbMath1116.68495OpenAlexW2623947920MaRDI QIDQ5292652

Hans Leiß, Michel de Rougemont

Publication date: 21 June 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13224

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

This page was built for publication: Computer Science Logic