20.070 new publication: Algebra, Meaning and Computation

                Humanist Discussion Group, Vol. 20, No. 70.
       Centre for Computing in the Humanities, King's College London
  www.kcl.ac.uk/schools/humanities/cch/research/publications/humanist.html
                        www.princeton.edu/humanist/
                     Submit to: humanist_at_princeton.edu

         Date: Fri, 23 Jun 2006 06:19:20 +0100
         From: Willard McCarty <willard.mccarty_at_kcl.ac.uk>
         Subject: LNCS 4060/2006: Algebra, Meaning and Computation

Volume 4060/2006 (Algebra, Meaning and
Computation) of Lecture Notes in Computer Science
is now available on the
springerlink.metapress.com web site at
<http://springerlink.metapress.com/link.asp?genre=issue&issn=0302-9743&volume=4060&issue=-1>http://springerlink.metapress.com.

This issue contains:

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=1>Sync
or Swarm: Musical Improvisation and the Complex
Dynamics of Group Creativity p. 1
David Borgo
DOI: <http://dx.doi.org/10.1007/11780274_1>10.1007/11780274_1

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=25>My
Friend Joseph Goguen p. 25
Rod Burstall
DOI: <http://dx.doi.org/10.1007/11780274_2>10.1007/11780274_2

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=31>Metalogic,
Qualia, and Identity on Neptune’s Great Moon:
Meaning and Mathematics in the Works of Joseph A.
Goguen and Samuel R. Delany p. 31
D. Fox Harrell
DOI: <http://dx.doi.org/10.1007/11780274_3>10.1007/11780274_3

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=50>Quantum
Institutions p. 50
Carlos Caleiro, Paulo Mateus, Amilcar Sernadas, Cristina Sernadas
DOI: <http://dx.doi.org/10.1007/11780274_4>10.1007/11780274_4

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=65>Jewels
of Institution-Independent Model Theory p. 65
R zvan Diaconescu
DOI: <http://dx.doi.org/10.1007/11780274_5>10.1007/11780274_5

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=99>Semantic
Web Languages – Towards an Institutional Perspective p. 99
Dorel Lucanu, Yuan Fang Li, Jin Song Dong
DOI: <http://dx.doi.org/10.1007/11780274_6>10.1007/11780274_6

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=124>Institutional
2-cells and Grothendieck Institutions p. 124
Till Mossakowski
DOI: <http://dx.doi.org/10.1007/11780274_7>10.1007/11780274_7

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=150>Some
Varieties of Equational Logic: (Extended Abstract) p. 150
Gordon Plotkin
DOI: <http://dx.doi.org/10.1007/11780274_8>10.1007/11780274_8

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=157>Complete
Categorical Deduction for Satisfaction as Injectivity p. 157
Grigore Ro u
DOI: <http://dx.doi.org/10.1007/11780274_9>10.1007/11780274_9

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=173>Extension
Morphisms for CommUnity p. 173
Nazareno Aguirre, Tom Maibaum, Paulo Alencar
DOI: <http://dx.doi.org/10.1007/11780274_10>10.1007/11780274_10

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=194>Non-intrusive
Formal Methods and Strategic Rewriting for a Chemical Application p. 194
Oana Andrei, Liliana Ibanescu, Hélène Kirchner
DOI: <http://dx.doi.org/10.1007/11780274_11>10.1007/11780274_11

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=216>From
OBJ to ML to Coq p. 216
Jacek Chrz szcz, Jean-Pierre Jouannaud
DOI: <http://dx.doi.org/10.1007/11780274_12>10.1007/11780274_12

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=235>Weak
Adhesive High-Level Replacement Categories and
Systems: A Unifying Framework for Graph and Petri Net Transformations p. 235
Hartmut Ehrig, Ulrike Prange
DOI: <http://dx.doi.org/10.1007/11780274_13>10.1007/11780274_13

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=252>From
OBJ to Maude and Beyond p. 252
José Meseguer
DOI: <http://dx.doi.org/10.1007/11780274_14>10.1007/11780274_14

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=281>Constructive
Action Semantics in OBJ p. 281
Peter D. Mosses
DOI: <http://dx.doi.org/10.1007/11780274_15>10.1007/11780274_15

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=296>Horizontal
Composability Revisited p. 296
Donald Sannella, Andrzej Tarlecki
DOI: <http://dx.doi.org/10.1007/11780274_16>10.1007/11780274_16

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=317>Composition
by Colimit and Formal Software Development p. 317
Douglas R. Smith
DOI: <http://dx.doi.org/10.1007/11780274_17>10.1007/11780274_17

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=333>Proving
Behavioral Refinements of COL-specifications p. 333
Michel Bidoit, Rolf Hennicker
DOI: <http://dx.doi.org/10.1007/11780274_18>10.1007/11780274_18

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=355>The
Reactive Engine for Modular Transducers p. 355
Gérard Huet, Benoît Razet
DOI: <http://dx.doi.org/10.1007/11780274_19>10.1007/11780274_19

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=375>A
Bialgebraic Review of Deterministic Automata,
Regular Expressions and Languages p. 375
Bart Jacobs
DOI: <http://dx.doi.org/10.1007/11780274_20>10.1007/11780274_20

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=405>Sheaves
and Structures of Transition Systems p. 405
Grant Malcolm
DOI: <http://dx.doi.org/10.1007/11780274_21>10.1007/11780274_21

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=420>Uniform
Functors on Sets p. 420
Lawrence S. Moss
DOI: <http://dx.doi.org/10.1007/11780274_22>10.1007/11780274_22

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=449>An
Algebraic Approach to Regular Sets p. 449
Horst Reichel
DOI: <http://dx.doi.org/10.1007/11780274_23>10.1007/11780274_23

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=459>Elementary
Algebraic Specifications of the Rational Complex Numbers p. 459
Jan A. Bergstra, John V. Tucker
DOI: <http://dx.doi.org/10.1007/11780274_24>10.1007/11780274_24

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=476>From
Chaos to Undefinedness: A Story About Recursion
as Well as Termination, Underspecification,
Nondeterminism, Fixpoints, Metric Treatment, and Logical Models p. 476
Manfred Broy
DOI: <http://dx.doi.org/10.1007/11780274_25>10.1007/11780274_25

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=497>Completion
Is an Instance of Abstract Canonical System Inference p. 497
Guillaume Burel, Claude Kirchner
DOI: <http://dx.doi.org/10.1007/11780274_26>10.1007/11780274_26

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=521>Eliminating
Dependent Pattern Matching p. 521
Healfdene Goguen, Conor McBride, James McKinna
DOI: <http://dx.doi.org/10.1007/11780274_27>10.1007/11780274_27

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=541>Iterative
Lexicographic Path Orders p. 541
Jan Willem Klop, Vincent van Oostrom, Roel de Vrijer
DOI: <http://dx.doi.org/10.1007/11780274_28>10.1007/11780274_28

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=555>A
Functorial Framework for Constraint Normal Logic Programming p. 555
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
DOI: <http://dx.doi.org/10.1007/11780274_29>10.1007/11780274_29

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=578>A
Stochastic Theory of Black-Box Software Testing p. 578
Karl Meinke
DOI: <http://dx.doi.org/10.1007/11780274_30>10.1007/11780274_30

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=596>Some
Tips on Writing Proof Scores in the OTS/CafeOBJ Method p. 596
Kazuhiro Ogata, Kokichi Futatsugi
DOI: <http://dx.doi.org/10.1007/11780274_31>10.1007/11780274_31

<http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=4060&spage=616>Drug
Interaction Ontology (DIO) and the
Resource-Sensitive Logical Inferences p. 616
Mitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya
DOI: <http://dx.doi.org/10.1007/11780274_32>10.1007/11780274_32

Dr Willard McCarty | Reader in Humanities
Computing | Centre for Computing in the
Humanities | King's College London | Kay House, 7
Arundel Street | London WC2R 3DX | U.K. | +44
(0)20 7848-2784 fax: -2980 ||
willard.mccarty_at_kcl.ac.uk www.kcl.ac.uk/humanities/cch/wlm/
Received on Fri Jun 23 2006 - 01:55:24 EDT