Progress in theoretical computer science

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

Neural networks and analog computation : beyond the turing limit ALGOL-like languages Algorithms for random generation and counting : a Markov chain approach Finite automata, formal logic, and circuit complexity Comparative metric semantics of programming languages : nondeterminism and recursion Isomorphisms of types : from λ-calculus to information retrieval and language design Semantics of type theory : correctness, completeness, and independence results Fundamental algorithms Canonical equational proofs Subrecursive programming systems : complexity & succinctness Logic of domains The combinatory programme The graph isomorphism problem : its structural complexity Verifying temporal properties of systems Fundamental algorithms Solving higher-order equations : from logic to programming Complexity theory of real functions Object-oriented programming : a unified foundation Nondeterminism in algebraic specifications and algebraic programs Linear programming Categorical combinators, sequential algorithms, and functional programming Semantics of type theory : correctness, completeness and independence results

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 theoretical computer science
Publication, Distribution, etc.: Birkhäuser
Place of Publication (Country Code): us
Target Audience: 一般
Related Material: Neural networks and analog computation : beyond the turing limit
https://cir.nii.ac.jp/crid/1130000793835218176
ALGOL-like languages
https://cir.nii.ac.jp/crid/1130000793988413056
Algorithms for random generation and counting : a Markov chain approach
https://cir.nii.ac.jp/crid/1130000794438654208
Finite automata, formal logic, and circuit complexity
https://cir.nii.ac.jp/crid/1130000795067495808
Comparative metric semantics of programming languages : nondeterminism and recursion
https://cir.nii.ac.jp/crid/1130000795289344896
Isomorphisms of types : from λ-calculus to information retrieval and language design
https://cir.nii.ac.jp/crid/1130000795622564864
Semantics of type theory : correctness, completeness, and independence results
https://cir.nii.ac.jp/crid/1130000796931373184
Fundamental algorithms
https://cir.nii.ac.jp/crid/1130000796933388544
Canonical equational proofs
https://cir.nii.ac.jp/crid/1130000797754298240
Subrecursive programming systems : complexity & succinctness
https://cir.nii.ac.jp/crid/1130282268952401664
Logic of domains
https://cir.nii.ac.jp/crid/1130282269116451072
The combinatory programme
https://cir.nii.ac.jp/crid/1130282270057965184
The graph isomorphism problem : its structural complexity
https://cir.nii.ac.jp/crid/1130282270186561920
Verifying temporal properties of systems
https://cir.nii.ac.jp/crid/1130282270310843776
Fundamental algorithms
https://cir.nii.ac.jp/crid/1130282270951720960
Solving higher-order equations : from logic to programming
https://cir.nii.ac.jp/crid/1130282271072818432
Complexity theory of real functions
https://cir.nii.ac.jp/crid/1130282271125611136
Object-oriented programming : a unified foundation
https://cir.nii.ac.jp/crid/1130282271303328768
Nondeterminism in algebraic specifications and algebraic programs
https://cir.nii.ac.jp/crid/1130282271327183360
Linear programming
https://cir.nii.ac.jp/crid/1130282271396622592
Categorical combinators, sequential algorithms, and functional programming
https://cir.nii.ac.jp/crid/1130282272117283200
Semantics of type theory : correctness, completeness and independence results
https://cir.nii.ac.jp/crid/1131412329603367552
Related Material (URI): https://ci.nii.ac.jp/ncid/BA1282110X#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/BA1282110X : BA1282110X