Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/birthday/goguen2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/AguirreMA06,
author = {Nazareno Aguirre and
T. S. E. Maibaum and
Paulo S. C. Alencar},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Extension Morphisms for CommUnity},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {173--193},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_10},
doi = {10.1007/11780274\_10},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AguirreMA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AndreiIK06,
author = {Oana Andrei and
Liliana Ibanescu and
H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Non-intrusive Formal Methods and Strategic Rewriting for a Chemical
Application},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {194--215},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_11},
doi = {10.1007/11780274\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AndreiIK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergstraT06,
author = {Jan A. Bergstra and
John V. Tucker},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Elementary Algebraic Specifications of the Rational Complex Numbers},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {459--475},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_24},
doi = {10.1007/11780274\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BergstraT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BidoitH06,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Proving Behavioral Refinements of COL-specifications},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {333--354},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_18},
doi = {10.1007/11780274\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BidoitH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Borgo06,
author = {David Borgo},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group
Creativity},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {1--24},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_1},
doi = {10.1007/11780274\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Borgo06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy06,
author = {Manfred Broy},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {From Chaos to Undefinedness},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {476--496},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_25},
doi = {10.1007/11780274\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BurelK06,
author = {Guillaume Burel and
Claude Kirchner},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Completion Is an Instance of Abstract Canonical System Inference},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {497--520},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_26},
doi = {10.1007/11780274\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BurelK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Burstall06,
author = {Rod M. Burstall},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {My Friend Joseph Goguen},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {25--30},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_2},
doi = {10.1007/11780274\_2},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Burstall06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CaleiroMSS06,
author = {Carlos Caleiro and
Paulo Mateus and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Quantum Institutions},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {50--64},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_4},
doi = {10.1007/11780274\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CaleiroMSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChrzaszczJ06,
author = {Jacek Chrzaszcz and
Jean{-}Pierre Jouannaud},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {From {OBJ} to {ML} to Coq},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {216--234},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_12},
doi = {10.1007/11780274\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ChrzaszczJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Diaconescu06,
author = {Razvan Diaconescu},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Jewels of Institution-Independent Model Theory},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {65--98},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_5},
doi = {10.1007/11780274\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Diaconescu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EhrigP06,
author = {Hartmut Ehrig and
Ulrike Prange},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Weak Adhesive High-Level Replacement Categories and Systems: {A} Unifying
Framework for Graph and Petri Net Transformations},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {235--251},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_13},
doi = {10.1007/11780274\_13},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EhrigP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GoguenMM06,
author = {Healfdene Goguen and
Conor McBride and
James McKinna},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Eliminating Dependent Pattern Matching},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {521--540},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_27},
doi = {10.1007/11780274\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GoguenMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Harrell06,
author = {D. Fox Harrell},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Metalogic, Qualia, and Identity on Neptune's Great Moon: Meaning and
Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {31--49},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_3},
doi = {10.1007/11780274\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Harrell06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HuetR06,
author = {G{\'{e}}rard P. Huet and
Beno{\^{\i}}t Razet},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {The Reactive Engine for Modular Transducers},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {355--374},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_19},
doi = {10.1007/11780274\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HuetR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Jacobs06,
author = {Bart Jacobs},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {A Bialgebraic Review of Deterministic Automata, Regular Expressions
and Languages},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {375--404},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_20},
doi = {10.1007/11780274\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Jacobs06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KlopOV06,
author = {Jan Willem Klop and
Vincent van Oostrom and
Roel C. de Vrijer},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Iterative Lexicographic Path Orders},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {541--554},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_28},
doi = {10.1007/11780274\_28},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KlopOV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LucanuLD06,
author = {Dorel Lucanu and
Yuan{-}Fang Li and
Jin Song Dong},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Semantic Web Languages - Towards an Institutional Perspective},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {99--123},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_6},
doi = {10.1007/11780274\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LucanuLD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LucioOPP06,
author = {Paqui Lucio and
Fernando Orejas and
Edelmira Pasarella and
Elvira Pino},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {A Functorial Framework for Constraint Normal Logic Programming},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {555--577},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_29},
doi = {10.1007/11780274\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LucioOPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Malcolm06,
author = {Grant Malcolm},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Sheaves and Structures of Transition Systems},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {405--419},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_21},
doi = {10.1007/11780274\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Malcolm06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Meinke06,
author = {Karl Meinke},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {A Stochastic Theory of Black-Box Software Testing},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {578--595},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_30},
doi = {10.1007/11780274\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Meinke06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Meseguer06,
author = {Jos{\'{e}} Meseguer},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {From {OBJ} to Maude and Beyond},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {252--280},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_14},
doi = {10.1007/11780274\_14},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Meseguer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Moss06,
author = {Lawrence S. Moss},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Uniform Functors on Sets},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {420--448},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_22},
doi = {10.1007/11780274\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Moss06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Mossakowski06,
author = {Till Mossakowski},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Institutional 2-cells and Grothendieck Institutions},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {124--149},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_7},
doi = {10.1007/11780274\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Mossakowski06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Mosses06,
author = {Peter D. Mosses},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Constructive Action Semantics in {OBJ}},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {281--295},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_15},
doi = {10.1007/11780274\_15},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Mosses06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OgataF06,
author = {Kazuhiro Ogata and
Kokichi Futatsugi},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {596--615},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_31},
doi = {10.1007/11780274\_31},
timestamp = {Sat, 03 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/OgataF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OkadaSYK06,
author = {Mitsuhiro Okada and
Yutaro Sugimoto and
Sumi Yoshikawa and
Akihiko Konagaya},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Drug Interaction Ontology {(DIO)} and the Resource-Sensitive Logical
Inferences},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {616--642},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_32},
doi = {10.1007/11780274\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OkadaSYK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Plotkin06,
author = {Gordon D. Plotkin},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Some Varieties of Equational Logic},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {150--156},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_8},
doi = {10.1007/11780274\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Plotkin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Reichel06,
author = {Horst Reichel},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {An Algebraic Approach to Regular Sets},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {449--458},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_23},
doi = {10.1007/11780274\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Reichel06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rosu06,
author = {Grigore Rosu},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Complete Categorical Deduction for Satisfaction as Injectivity},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {157--172},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_9},
doi = {10.1007/11780274\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Rosu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SannellaT06,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Horizontal Composability Revisited},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {296--316},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_16},
doi = {10.1007/11780274\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SannellaT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Smith06,
author = {Douglas R. Smith},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Composition by Colimit and Formal Software Development},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {317--332},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_17},
doi = {10.1007/11780274\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Smith06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2006goguen,
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274},
doi = {10.1007/11780274},
isbn = {3-540-35462-X},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2006goguen.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-16 21:18 CEST from data curated 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:
