Progress in computer science and applied logic

Material type: 図書

Author: -

Publisher: Birkhäuser

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

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 Number theoretic methods in cryptography : complexity lower bounds Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness An introduction to quantum computing algorithms Logical methods : in honor of Anil Nerode's sixtieth birthday Mathematics for the analysis of algorithms Mathematical logic : foundations for information science Symbolic rewriting techniques Mathematical logic : foundations for information science Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 Logic for computer scientists Automata theory and its applications Interpolating cubic splines Graph-based proof procedures for horn clauses Bounded queries in recursion theory Temporal type theory : a topos-theoretic approach to systems and behavior Advances in proof theory Learning and geometry : computational approaches Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

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
Mathematical logic : foundations for information science
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
Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness
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