Progress in computer science and applied logic

• Material Type: 図書
• Title: Progress in computer science and applied logic
• Publication, Distribution, etc.: Birkhäuser
• Place of Publication (Country Code): us
• Target Audience: 一般
• Related Material: A Graph-Theoretic Approach to Enterprise Network Dynamics; https://cir.nii.ac.jp/crid/1130000793854036096; Cryptography and computational number theory; https://cir.nii.ac.jp/crid/1130000793956185728; A proof theory for general unification; https://cir.nii.ac.jp/crid/1130000794186450048; Feasible mathematics II; https://cir.nii.ac.jp/crid/1130000794811889536; Coding, cryptography and combinatorics; https://cir.nii.ac.jp/crid/1130000795254042624; Number theoretic methods in cryptography : complexity lower bounds; https://cir.nii.ac.jp/crid/1130000795303585024; Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness; https://cir.nii.ac.jp/crid/1130000795674588288; An introduction to quantum computing algorithms; https://cir.nii.ac.jp/crid/1130000796406157184; Logical methods : in honor of Anil Nerode's sixtieth birthday; https://cir.nii.ac.jp/crid/1130000797025112192; Mathematics for the analysis of algorithms; https://cir.nii.ac.jp/crid/1130000797067192192; Mathematical logic : foundations for information science; https://cir.nii.ac.jp/crid/1130000797491711232; Symbolic rewriting techniques; https://cir.nii.ac.jp/crid/1130000797536657920; https://cir.nii.ac.jp/crid/1130000797565519232; Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989; https://cir.nii.ac.jp/crid/1130000798215661056; Logic for computer scientists; https://cir.nii.ac.jp/crid/1130282268758803456; Automata theory and its applications; https://cir.nii.ac.jp/crid/1130282269554504704; Interpolating cubic splines; https://cir.nii.ac.jp/crid/1130282270216849536; Graph-based proof procedures for horn clauses; https://cir.nii.ac.jp/crid/1130282270248268800; Bounded queries in recursion theory; https://cir.nii.ac.jp/crid/1130282270819269888; Temporal type theory : a topos-theoretic approach to systems and behavior; https://cir.nii.ac.jp/crid/1130282271697662720; Advances in proof theory; https://cir.nii.ac.jp/crid/1130282272405774592; Learning and geometry : computational approaches; https://cir.nii.ac.jp/crid/1130282272560696960; Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume; https://cir.nii.ac.jp/crid/1130282272962146304; https://cir.nii.ac.jp/crid/1130852624395870485
• Related Material (URI): https://ci.nii.ac.jp/ncid/BA07712819#entity
• Data Provider (Database): 国立情報学研究所 : CiNii Research
• Original Data Provider (Database): CiNii Books; https://ci.nii.ac.jp/books
• NCID: https://ci.nii.ac.jp/ncid/BA07712819 : BA07712819

Table of Contents

A Graph-Theoretic Approach to Enterprise Network Dynamics

Cryptography and computational number theory

A proof theory for general unification

Feasible mathematics II

Coding, cryptography and combinatorics