Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
| 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 |
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: :
