HOME > Detail View

Detail View

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Material type
단행본
Personal Author
Futatsugi, Kokichi. Jouannaud, Jean-Pierre. Meseguer, Jose. Goguen, Joseph.
Title Statement
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi, Jean-Pierre Jouannaud, Jose Meseguer (eds.).
Publication, Distribution, etc
Berlin ;   New York :   Springer,   c2006.  
Physical Medium
xxxviii, 642 p. : ill. ; 24 cm.
Series Statement
Lecture notes in computer science, Festschrift 0302-9743 ; 4060.
ISBN
354035462X
General Note
Papers presented at a symposium in San Diego, Calif., June 27-29, 2006.  
Bibliography, Etc. Note
Includes bibliographical references and index.
이용가능한 다른형태자료
Also issued online.  
Subject Added Entry-Topical Term
Algebra -- Congresses. Algebra -- Data processing -- Congresses.
주제명(개인명)
Goguen, Joseph.  
비통제주제어
Computation ,,
000 01834camuu2200445ia 4500
001 000045311784
005 20061204132634
008 060712s2006 gw ac b 111 0 eng d
010 ▼a 2006927438
015 ▼a GBA667531 ▼2 bnb
016 7 ▼a 013520386 ▼2 Uk
020 ▼a 354035462X
024 3 ▼a 9783540354628
040 ▼a ERL ▼c ERL ▼d CUS ▼d UKM ▼d BAKER ▼d IXA ▼d C$Q ▼d 211009
049 ▼a KUBA
050 4 ▼a QA150 ▼b .A45 2006
082 0 4 ▼a 005.101512 ▼2 22
090 ▼a 005.101512 ▼b A394
245 0 0 ▼a Algebra, meaning, and computation : ▼b essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / ▼c Kokichi Futatsugi, Jean-Pierre Jouannaud, Jose Meseguer (eds.).
260 ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c2006.
300 ▼a xxxviii, 642 p. : ▼b ill. ; ▼c 24 cm.
490 1 ▼a Lecture notes in computer science, ▼x 0302-9743 ; ▼v 4060. ▼a Festschrift
500 ▼a Papers presented at a symposium in San Diego, Calif., June 27-29, 2006.
504 ▼a Includes bibliographical references and index.
530 ▼a Also issued online.
600 1 0 ▼a Goguen, Joseph.
650 0 ▼a Algebra ▼v Congresses.
650 0 ▼a Algebra ▼x Data processing ▼v Congresses.
653 1 ▼a Computation
700 1 ▼a Futatsugi, Kokichi.
700 1 ▼a Jouannaud, Jean-Pierre.
700 1 ▼a Meseguer, Jose.
700 1 ▼a Goguen, Joseph.
830 0 ▼a Lecture notes in computer science ; ▼v 4060.
830 0 ▼a Lecture notes in computer science. ▼p Festschrift.
938 ▼a Baker & Taylor ▼b BKTY ▼c 99.00 ▼d 99.00 ▼i 354035462X ▼n 0006930341 ▼s active
945 ▼a KINS
994 ▼a C0 ▼b KUB

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.101512 A394 Accession No. 121135522 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

Meaning.- Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity.- My Friend Joseph Goguen.- Metalogic, Qualia, and Identity on Neptune's Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany.- Meta-Logic.- Quantum Institutions.- Jewels of Institution-Independent Model Theory.- Semantic Web Languages - Towards an Institutional Perspective.- Institutional 2-cells and Grothendieck Institutions.- Some Varieties of Equational Logic.- Complete Categorical Deduction for Satisfaction as Injectivity.- Specification and Composition.- Extension Morphisms for CommUnity.- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.- From OBJ to ML to Coq.- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations.- From OBJ to Maude and Beyond.- Constructive Action Semantics in OBJ.- Horizontal Composability Revisited.- Composition by Colimit and Formal Software Development.- Behaviour and Formal Languages.- Proving Behavioral Refinements of COL-specifications.- The Reactive Engine for Modular Transducers.- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages.- Sheaves and Structures of Transition Systems.- Uniform Functors on Sets.- An Algebraic Approach to Regular Sets.- Models, Deduction, and Computation.- Elementary Algebraic Specifications of the Rational Complex Numbers.- From Chaos to Undefinedness.- Completion Is an Instance of Abstract Canonical System Inference.- Eliminating Dependent Pattern Matching.- Iterative Lexicographic Path Orders.- A Functorial Framework for Constraint Normal Logic Programming.- A Stochastic Theory of Black-Box Software Testing.- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method.- Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

Anson, Steve (2022)
한국. 행정안전부 (2022)
한국. 행정안전부 (2022)
황기태 (2021)