C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Essays Dedicated to Joseph A. Goguen
2006
2006
2006
Keyphrases
Publications
2006
Jan A. Bergstra
,
John V. Tucker
Elementary Algebraic Specifications of the Rational Complex Numbers.
Essays Dedicated to Joseph A. Goguen
(2006)
Jan Willem Klop
,
Vincent van Oostrom
,
Roel C. de Vrijer
Iterative Lexicographic Path Orders.
Essays Dedicated to Joseph A. Goguen
(2006)
Gordon D. Plotkin
Some Varieties of Equational Logic.
Essays Dedicated to Joseph A. Goguen
(2006)
Horst Reichel
An Algebraic Approach to Regular Sets.
Essays Dedicated to Joseph A. Goguen
(2006)
Dorel Lucanu
,
Yuan-Fang Li
,
Jin Song Dong
Semantic Web Languages - Towards an Institutional Perspective.
Essays Dedicated to Joseph A. Goguen
(2006)
Manfred Broy
From Chaos to Undefinedness.
Essays Dedicated to Joseph A. Goguen
(2006)
Oana Andrei
,
Liliana Ibanescu
,
Hélène Kirchner
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.
Essays Dedicated to Joseph A. Goguen
(2006)
Donald Sannella
,
Andrzej Tarlecki
Horizontal Composability Revisited.
Essays Dedicated to Joseph A. Goguen
(2006)
Nazareno Aguirre
,
T. S. E. Maibaum
,
Paulo S. C. Alencar
Extension Morphisms for CommUnity.
Essays Dedicated to Joseph A. Goguen
(2006)
Lawrence S. Moss
Uniform Functors on Sets.
Essays Dedicated to Joseph A. Goguen
(2006)
Till Mossakowski
Institutional 2-cells and Grothendieck Institutions.
Essays Dedicated to Joseph A. Goguen
(2006)
Michel Bidoit
,
Rolf Hennicker
Proving Behavioral Refinements of COL-specifications.
Essays Dedicated to Joseph A. Goguen
(2006)
Gérard P. Huet
,
Benoît Razet
The Reactive Engine for Modular Transducers.
Essays Dedicated to Joseph A. Goguen
(2006)
Hartmut Ehrig
,
Ulrike Prange
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations.
Essays Dedicated to Joseph A. Goguen
(2006)
Grigore Rosu
Complete Categorical Deduction for Satisfaction as Injectivity.
Essays Dedicated to Joseph A. Goguen
(2006)
Rod M. Burstall
My Friend Joseph Goguen.
Essays Dedicated to Joseph A. Goguen
(2006)
Karl Meinke
A Stochastic Theory of Black-Box Software Testing.
Essays Dedicated to Joseph A. Goguen
(2006)
José Meseguer
From OBJ to Maude and Beyond.
Essays Dedicated to Joseph A. Goguen
(2006)
Guillaume Burel
,
Claude Kirchner
Completion Is an Instance of Abstract Canonical System Inference.
Essays Dedicated to Joseph A. Goguen
(2006)
Jacek Chrzaszcz
,
Jean-Pierre Jouannaud
From OBJ to ML to Coq.
Essays Dedicated to Joseph A. Goguen
(2006)
Healfdene Goguen
,
Conor McBride
,
James McKinna
Eliminating Dependent Pattern Matching.
Essays Dedicated to Joseph A. Goguen
(2006)
Peter D. Mosses
Constructive Action Semantics in OBJ.
Essays Dedicated to Joseph A. Goguen
(2006)
Douglas R. Smith
Composition by Colimit and Formal Software Development.
Essays Dedicated to Joseph A. Goguen
(2006)
Bart Jacobs
A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages.
Essays Dedicated to Joseph A. Goguen
(2006)
Mitsuhiro Okada
,
Yutaro Sugimoto
,
Sumi Yoshikawa
,
Akihiko Konagaya
Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences.
Essays Dedicated to Joseph A. Goguen
(2006)
Paqui Lucio
,
Fernando Orejas
,
Edelmira Pasarella
,
Elvira Pino
A Functorial Framework for Constraint Normal Logic Programming.
Essays Dedicated to Joseph A. Goguen
(2006)
Grant Malcolm
Sheaves and Structures of Transition Systems.
Essays Dedicated to Joseph A. Goguen
(2006)
David Borgo
Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity.
Essays Dedicated to Joseph A. Goguen
(2006)
Carlos Caleiro
,
Paulo Mateus
,
Amílcar Sernadas
,
Cristina Sernadas
Quantum Institutions.
Essays Dedicated to Joseph A. Goguen
(2006)
Razvan Diaconescu
Jewels of Institution-Independent Model Theory.
Essays Dedicated to Joseph A. Goguen
(2006)
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.
Essays Dedicated to Joseph A. Goguen
(2006)
Kazuhiro Ogata
,
Kokichi Futatsugi
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method.
Essays Dedicated to Joseph A. Goguen
(2006)
volume 4060, 2006
Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Essays Dedicated to Joseph A. Goguen
4060 (2006)