Young, Adam; Yung, Moti Bandwidth-optimal kleptographic attacks. (English) Zbl 1012.94542 Koç, Çetin K. (ed.) et al., Cryptographic hardware and embedded systems - CHES 2001. 3rd international workshop, Paris, France, May 14-16, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2162, 235-250 (2001). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{A. Young} and \textit{M. Yung}, Lect. Notes Comput. Sci. 2162, 235--250 (2001; Zbl 1012.94542) Full Text: Link
Miculan, Marino On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions. (English) Zbl 1007.03032 Inf. Comput. 164, No. 1, 199-231 (2001). MSC: 03B70 68Q60 03B35 68T15 03B45 03D70 PDFBibTeX XMLCite \textit{M. Miculan}, Inf. Comput. 164, No. 1, 199--231 (2001; Zbl 1007.03032) Full Text: DOI
Aoshima, Takenobu; Yonezaki, Naoki An efficient tableau-based verification method with partial evaluation for reactive system specifications. (English) Zbl 1004.68095 Jaakkola, Hannu (ed.) et al., Information modelling and knowledge bases. Vol. 12. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 67, 363-374 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{T. Aoshima} and \textit{N. Yonezaki}, Front. Artif. Intell. Appl. 67, 363--374 (2001; Zbl 1004.68095)
Lepper, Ingo Simplification orders in term rewriting. Derivation lengths, order types, and computability. (English) Zbl 1024.03037 Münster: Univ. Münster, Fachbereich Mathematik und Informatik, viii, 191 p. (2001). Reviewer: Daniela Marinescu (Braşov) MSC: 03D10 03F20 68Q42 03D20 68Q15 68Q05 03D28 PDFBibTeX XMLCite \textit{I. Lepper}, Simplification orders in term rewriting. Derivation lengths, order types, and computability. Münster: Univ. Münster, Fachbereich Mathematik und Informatik (2001; Zbl 1024.03037)
Sander, Tomas; Ta-Shma, Amnon; Yung, Moti Blind, auditable membership proofs. (English) Zbl 0999.94547 Frankel, Yair (ed.), Financial cryptography. 4th international conference, FC 2000, Anguilla, British West Indies, February 20-24, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1962, 53-71 (2001). MSC: 94A62 68W40 PDFBibTeX XMLCite \textit{T. Sander} et al., Lect. Notes Comput. Sci. 1962, 53--71 (2001; Zbl 0999.94547)
Hennessy, M.; Lin, H.; Rathke, J. Unique fixpoint induction for message-passing process calculi. (English) Zbl 0998.68089 Sci. Comput. Program. 41, No. 3, 241-275 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Hennessy} et al., Sci. Comput. Program. 41, No. 3, 241--275 (2001; Zbl 0998.68089) Full Text: DOI
de Roever, Willem-Paul; de Boer, Frank; Hannemann, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job Concurrency verification. Introduction to compositional and noncompositional methods. (English) Zbl 1009.68020 Cambridge Tracts in Theoretical Computer Science. 54. Cambridge: Cambridge University Press. xxii, 776 p. (2001). Reviewer: Mihai Cipu (Bucureşti) MSC: 68N19 68-01 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{W.-P. de Roever} et al., Concurrency verification. Introduction to compositional and noncompositional methods. Cambridge: Cambridge University Press (2001; Zbl 1009.68020)
Atserias, Albert; Galesi, Nicola; Gavaldà, Ricard Monotone proofs of the pigeon hole principle. (English) Zbl 0989.03065 Math. Log. Q. 47, No. 4, 461-474 (2001). MSC: 03F20 68Q17 68Q15 PDFBibTeX XMLCite \textit{A. Atserias} et al., Math. Log. Q. 47, No. 4, 461--474 (2001; Zbl 0989.03065) Full Text: DOI
Kohlenbach, Ulrich Intuitionistic choice and restricted classical logic. (English) Zbl 0992.03072 Math. Log. Q. 47, No. 4, 455-460 (2001). MSC: 03F10 03F35 03F50 PDFBibTeX XMLCite \textit{U. Kohlenbach}, Math. Log. Q. 47, No. 4, 455--460 (2001; Zbl 0992.03072)
Elbl, Birgit Cut elimination for a calculus with context-dependent rules. (English) Zbl 0989.03063 Arch. Math. Logic 40, No. 3, 167-188 (2001). Reviewer: Osamu Sonobe (Follonica) MSC: 03F05 03B70 03F52 68Q55 68N17 PDFBibTeX XMLCite \textit{B. Elbl}, Arch. Math. Logic 40, No. 3, 167--188 (2001; Zbl 0989.03063) Full Text: DOI
Buchholz, Wilfried Finitary treatment of operator controlled derivations. (English) Zbl 0986.03044 Math. Log. Q. 47, No. 3, 363-396 (2001). Reviewer: Andrea Cantini (Firenze) MSC: 03F05 03F15 PDFBibTeX XMLCite \textit{W. Buchholz}, Math. Log. Q. 47, No. 3, 363--396 (2001; Zbl 0986.03044) Full Text: DOI
Girard, Jean-Yves Locus solum: From the rules of logic to the logic of rules. (English) Zbl 1051.03045 Math. Struct. Comput. Sci. 11, No. 3, 301-506 (2001). Reviewer: Henry Africk (MR 2002h:03123) MSC: 03Fxx 03B22 03B47 03B70 03F52 68Q55 68Q60 91A80 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Math. Struct. Comput. Sci. 11, No. 3, 301--506 (2001; Zbl 1051.03045) Full Text: DOI