Pradella, Matteo; Cherubini, Alessandra; Reghizzi, Stefano Crespi A unifying approach to picture grammars. (English) Zbl 1235.68096 Inf. Comput. 209, No. 9, 1246-1267 (2011). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{M. Pradella} et al., Inf. Comput. 209, No. 9, 1246--1267 (2011; Zbl 1235.68096) Full Text: DOI
Dowek, Gilles; Jiang, Ying On the expressive power of schemes. (English) Zbl 1241.03070 Inf. Comput. 209, No. 9, 1231-1245 (2011). MSC: 03F07 03B40 03F05 PDFBibTeX XMLCite \textit{G. Dowek} and \textit{Y. Jiang}, Inf. Comput. 209, No. 9, 1231--1245 (2011; Zbl 1241.03070) Full Text: DOI
Ryabko, Boris; Ryabko, Daniil Constructing perfect steganographic systems. (English) Zbl 1222.68090 Inf. Comput. 209, No. 9, 1223-1230 (2011). MSC: 68Q30 94A17 94A60 PDFBibTeX XMLCite \textit{B. Ryabko} and \textit{D. Ryabko}, Inf. Comput. 209, No. 9, 1223--1230 (2011; Zbl 1222.68090) Full Text: DOI arXiv
Diaconescu, Răzvan Structural induction in institutions. (English) Zbl 1241.03073 Inf. Comput. 209, No. 9, 1197-1222 (2011). Reviewer: Juan Climent Vidal (València) MSC: 03G30 68Q65 PDFBibTeX XMLCite \textit{R. Diaconescu}, Inf. Comput. 209, No. 9, 1197--1222 (2011; Zbl 1241.03073) Full Text: DOI