Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (Eds.):
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 BibTeX
Meaning
Meta-Logic
Specification and Composition
Behavior and Formal Languages
Models,
Deduction,
and Computation
- Jan A. Bergstra, John V. Tucker:
Elementary Algebraic Specifications of the Rational Complex Numbers.
459-475
Electronic Edition (link) BibTeX
- Manfred Broy:
From Chaos to Undefinedness.
476-496
Electronic Edition (link) BibTeX
- Guillaume Burel, Claude Kirchner:
Completion Is an Instance of Abstract Canonical System Inference.
497-520
Electronic Edition (link) BibTeX
- Healfdene Goguen, Conor McBride, James McKinna:
Eliminating Dependent Pattern Matching.
521-540
Electronic Edition (link) BibTeX
- Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer:
Iterative Lexicographic Path Orders.
541-554
Electronic Edition (link) BibTeX
- Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino:
A Functorial Framework for Constraint Normal Logic Programming.
555-577
Electronic Edition (link) BibTeX
- Karl Meinke:
A Stochastic Theory of Black-Box Software Testing.
578-595
Electronic Edition (link) BibTeX
- Kazuhiro Ogata, Kokichi Futatsugi:
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method.
596-615
Electronic Edition (link) BibTeX
- Mitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya:
Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences.
616-642
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:59:40 2009
by Michael Ley (ley@uni-trier.de)
