Cambridge tracts in theoretical computer science

• Material Type: 図書
• Title: Cambridge tracts in theoretical computer science
• Publication, Distribution, etc.: Cambridge University Press
• Place of Publication (Country Code): uk
• Target Audience: 一般
• Related Material: Nominal sets : names and symmetry in computer science; https://cir.nii.ac.jp/crid/1130000793735354880; A unifying framework for structured analysis and design models : an approach using initial algebra semantics and category theory; https://cir.nii.ac.jp/crid/1130000793745267584; Introduction to coalgebra : towards mathematics of states and observation; https://cir.nii.ac.jp/crid/1130000793799860736; Action semantics; https://cir.nii.ac.jp/crid/1130000793812883072; https://cir.nii.ac.jp/crid/1130000793924309248; Metamathematics, machines, and Gödel's proof; https://cir.nii.ac.jp/crid/1130000793935745536; Mathematics for computer graphics; https://cir.nii.ac.jp/crid/1130000793960363264; Nonmonotonic reasoning : logical foundations of commonsense; https://cir.nii.ac.jp/crid/1130000794021053440; Basic proof theory; https://cir.nii.ac.jp/crid/1130000794188621568; Lambda-calculus, combinators, and functional programming; https://cir.nii.ac.jp/crid/1130000794352323200; https://cir.nii.ac.jp/crid/1130000794383661568; Rippling : meta-level guidance for mathematical reasoning; https://cir.nii.ac.jp/crid/1130000794752675584; Term rewriting systems; https://cir.nii.ac.jp/crid/1130000794916801024; Hybrid graph theory and network analysis; https://cir.nii.ac.jp/crid/1130000795064705408; Mathematical theory of domains; https://cir.nii.ac.jp/crid/1130000795112280576; Topology via logic; https://cir.nii.ac.jp/crid/1130000795210694016; Algebraic specification of communication protocols; https://cir.nii.ac.jp/crid/1130000795224504448; Formal specification and design; https://cir.nii.ac.jp/crid/1130000795300069376; Predicate transformer semantics; https://cir.nii.ac.jp/crid/1130000795395714304; https://cir.nii.ac.jp/crid/1130000795415195648; Nets, terms and formulas : three views of concurrent processes and their relationship; https://cir.nii.ac.jp/crid/1130000795509657088; The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution; https://cir.nii.ac.jp/crid/1130000795524753408; Epistemic logic for AI and computer science; https://cir.nii.ac.jp/crid/1130000795546887168; Extensions of first order logic; https://cir.nii.ac.jp/crid/1130000795923289472; Proofs and types; https://cir.nii.ac.jp/crid/1130000795929449600; Deduction and declarative programming; https://cir.nii.ac.jp/crid/1130000795979336064; Higher order logic and hardware verification; https://cir.nii.ac.jp/crid/1130000796165380608; Information flow : the logic of distributed systems; https://cir.nii.ac.jp/crid/1130000796281867648; Derivation and computation : taking the Curry-Howard correspondence seriously; https://cir.nii.ac.jp/crid/1130000796311033984; Algorithmic information theory; https://cir.nii.ac.jp/crid/1130000796447887360; Propositional logic : deduction and algorithms; https://cir.nii.ac.jp/crid/1130000796765815040; Modal logic; https://cir.nii.ac.jp/crid/1130000796988358784; Formal semantics and pragmatics for natural language querying; https://cir.nii.ac.jp/crid/1130000797072425984; Free choice Petri nets; https://cir.nii.ac.jp/crid/1130000797307154048; https://cir.nii.ac.jp/crid/1130000797329783680; https://cir.nii.ac.jp/crid/1130000797412342144; Logic and computation : interactive proof with Cambridge LCF; https://cir.nii.ac.jp/crid/1130000797608294400; https://cir.nii.ac.jp/crid/1130000797845197184; Applications of process algebra; https://cir.nii.ac.jp/crid/1130000797868192128; The clausal theory of types; https://cir.nii.ac.jp/crid/1130000797893909888; Process algebra; https://cir.nii.ac.jp/crid/1130000797900444160; Advanced topics in bisimulation and coinduction; https://cir.nii.ac.jp/crid/1130000798073159424; Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules; https://cir.nii.ac.jp/crid/1130000798129800192; https://cir.nii.ac.jp/crid/1130000798187143936; Updating logical databases; https://cir.nii.ac.jp/crid/1130000798267650048; Formal methods in artificial intelligence; https://cir.nii.ac.jp/crid/1130000798356263552; https://cir.nii.ac.jp/crid/1130000798357190272; https://cir.nii.ac.jp/crid/1130282268932822784; Formal methods in circuit design; https://cir.nii.ac.jp/crid/1130282268994812800; Concurrency verification : introduction to compositional and noncompositional methods; https://cir.nii.ac.jp/crid/1130282269214299392; Design theory and computer science : processes and methodology of computer systems design; https://cir.nii.ac.jp/crid/1130282269300686720; https://cir.nii.ac.jp/crid/1130282269314606976; https://cir.nii.ac.jp/crid/1130282269797165440; https://cir.nii.ac.jp/crid/1130282269934347392; Basic simple type theory; https://cir.nii.ac.jp/crid/1130282269975723392; The uncertain reasoner's companion : a mathematical perspective; https://cir.nii.ac.jp/crid/1130282270084220160; https://cir.nii.ac.jp/crid/1130282270340592896; Domains and lambda-calculi; https://cir.nii.ac.jp/crid/1130282270607931648; Process algebra : equational theories of communicating processes; https://cir.nii.ac.jp/crid/1130282270821180416; Theoretical foundations of VLSI design; https://cir.nii.ac.jp/crid/1130282270880199424; https://cir.nii.ac.jp/crid/1130282271053850240; The optimal implementation of functional programming languages; https://cir.nii.ac.jp/crid/1130282271156869248; Two-level functional languages; https://cir.nii.ac.jp/crid/1130282271485403264; Belief revision; https://cir.nii.ac.jp/crid/1130282271719651072; https://cir.nii.ac.jp/crid/1130282271733977600; Understanding Z : a specification language and its formal semantics; https://cir.nii.ac.jp/crid/1130282271822674560; https://cir.nii.ac.jp/crid/1130282271885212032; https://cir.nii.ac.jp/crid/1130282271904210176; Computational learning theory : an introduction; https://cir.nii.ac.jp/crid/1130282272001806336; https://cir.nii.ac.jp/crid/1130282272193649664; https://cir.nii.ac.jp/crid/1130282272278479616; Data refinement : model-oriented proof methods and their comparison; https://cir.nii.ac.jp/crid/1130282272298943872; https://cir.nii.ac.jp/crid/1130282272299319424; https://cir.nii.ac.jp/crid/1130282272312324096; https://cir.nii.ac.jp/crid/1130282272488710528; Temporal logics in computer science : finite-state systems; https://cir.nii.ac.jp/crid/1130282272496684928; https://cir.nii.ac.jp/crid/1130282272548519424; https://cir.nii.ac.jp/crid/1130282272575435904; Finite-state techniques : automata, transducers and bimachines; https://cir.nii.ac.jp/crid/1130282272780955392; https://cir.nii.ac.jp/crid/1130282272908019712; https://cir.nii.ac.jp/crid/1130282273121124352; https://cir.nii.ac.jp/crid/1130282273202280320; https://cir.nii.ac.jp/crid/1130282273241564800; https://cir.nii.ac.jp/crid/1130282273341349504; Topological duality for distributive lattices : theory and applications; https://cir.nii.ac.jp/crid/1130581059261841199
• Related Material (URI): https://ci.nii.ac.jp/ncid/BA01121831#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/BA01121831 : BA01121831

Table of Contents

Nominal sets : names and symmetry in computer science

A unifying framework for structured analysis and design models : an approach using initial algebra semantics and category theory

Introduction to coalgebra : towards mathematics of states and observation

Action semantics

Action semantics