default search action
65. Birthday: Joseph A. Goguen , 2006
- Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer:
Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 4060, Springer 2006, ISBN 3-540-35462-X
Meaning
- David Borgo:
Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity. 1-24 - Rod M. Burstall:
My Friend Joseph Goguen. 25-30 - D. Fox Harrell:
Metalogic, Qualia, and Identity on Neptune's Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany. 31-49
Meta-Logic
- Carlos Caleiro, Paulo Mateus
, Amílcar Sernadas, Cristina Sernadas:
Quantum Institutions. 50-64 - Razvan Diaconescu:
Jewels of Institution-Independent Model Theory. 65-98 - Dorel Lucanu, Yuan-Fang Li, Jin Song Dong:
Semantic Web Languages - Towards an Institutional Perspective. 99-123 - Till Mossakowski
Institutional 2-cells and Grothendieck Institutions. 124-149 - Gordon D. Plotkin:
Some Varieties of Equational Logic. 150-156 - Grigore Rosu:
Complete Categorical Deduction for Satisfaction as Injectivity. 157-172
Specification and Composition
- Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar:
Extension Morphisms for CommUnity. 173-193 - Oana Andrei, Liliana Ibanescu, Hélène Kirchner:
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. 194-215 - Jacek Chrzaszcz, Jean-Pierre Jouannaud:
From OBJ to ML to Coq. 216-234 - Hartmut Ehrig, Ulrike Prange
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations. 235-251 - José Meseguer:
From OBJ to Maude and Beyond. 252-280 - Peter D. Mosses
Constructive Action Semantics in OBJ. 281-295 - Donald Sannella
Horizontal Composability Revisited. 296-316 - Douglas R. Smith:
Composition by Colimit and Formal Software Development. 317-332
Behavior and Formal Languages
- Michel Bidoit, Rolf Hennicker:
Proving Behavioral Refinements of COL-specifications. 333-354 - Gérard P. Huet, Benoît Razet:
The Reactive Engine for Modular Transducers. 355-374 - Bart Jacobs:
A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. 375-404 - Grant Malcolm:
Sheaves and Structures of Transition Systems. 405-419 - Lawrence S. Moss:
Uniform Functors on Sets. 420-448 - Horst Reichel:
An Algebraic Approach to Regular Sets. 449-458
Models, Deduction, and Computation
- Jan A. Bergstra, John V. Tucker:
Elementary Algebraic Specifications of the Rational Complex Numbers. 459-475 - Manfred Broy:
From Chaos to Undefinedness. 476-496 - Guillaume Burel, Claude Kirchner:
Completion Is an Instance of Abstract Canonical System Inference. 497-520 - Healfdene Goguen, Conor McBride, James McKinna:
Eliminating Dependent Pattern Matching. 521-540 - Jan Willem Klop, Vincent van Oostrom
Iterative Lexicographic Path Orders. 541-554 - Paqui Lucio
A Functorial Framework for Constraint Normal Logic Programming. 555-577 - Karl Meinke:
A Stochastic Theory of Black-Box Software Testing. 578-595 - Kazuhiro Ogata, Kokichi Futatsugi:
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. 596-615 - Mitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya:
Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences. 616-642
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: