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/journals/entcs/entcs161.bht:"
download as .bib file
@proceedings{DBLP:conf/mfcsit/2004,
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/161/suppl/C},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcsit/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ButterfieldW06,
author = {Andrew Butterfield and
Jim Woodcock},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {A "Hardware Compiler" Semantics for Handel-C},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {73--90},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.026},
doi = {10.1016/J.ENTCS.2006.04.026},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ButterfieldW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Essl06,
author = {Georg Essl},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {Computation of Wave Fronts on a Disk {I:} Numerical Experiments},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {25--41},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.023},
doi = {10.1016/J.ENTCS.2006.04.023},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Essl06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FlynnH06,
author = {Sharon Flynn and
Dick Hamlet},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {On Formal Specification of Software Components and Systems},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {91--107},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.027},
doi = {10.1016/J.ENTCS.2006.04.027},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FlynnH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Huth06,
author = {Michael Huth},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {Topological Analysis of Refinement},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {3--23},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.022},
doi = {10.1016/J.ENTCS.2006.04.022},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Huth06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HylandNPR06,
author = {Martin Hyland and
Misao Nagayama and
John Power and
Giuseppe Rosolini},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {A Category Theoretic Formulation for Engeler-style Models of the Untyped
lambda},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {43--57},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.024},
doi = {10.1016/J.ENTCS.2006.04.024},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HylandNPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OKeeffePS06,
author = {Maria O'Keeffe and
Homeira Pajoohesh and
Michel P. Schellekens},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {Decision Trees of Algorithms and a Semivaluation to Measure Their
Distance},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {175--183},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.032},
doi = {10.1016/J.ENTCS.2006.04.032},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OKeeffePS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroW06,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {Operator Algebras and the Operational Semantics of Probabilistic Languages},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {131--150},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.029},
doi = {10.1016/J.ENTCS.2006.04.029},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PierroW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Power06a,
author = {John Power},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {Countable Lawvere Theories and Computational Effects},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {59--71},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.025},
doi = {10.1016/J.ENTCS.2006.04.025},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Power06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RomagueraSV06,
author = {Salvador Romaguera and
Enrique Alfonso S{\'{a}}nchez{-}P{\'{e}}rez and
{\'{O}}scar Valero},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {The Dual Complexity Space as the Dual of a Normed Cone},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {165--174},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.031},
doi = {10.1016/J.ENTCS.2006.04.031},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RomagueraSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Seda06,
author = {Anthony Karel Seda},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {On the Integration of Connectionist and Logic-Based Systems},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {109--130},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.028},
doi = {10.1016/J.ENTCS.2006.04.028},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Seda06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SedaHSAS06,
author = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {Preface},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.021},
doi = {10.1016/J.ENTCS.2006.04.021},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SedaHSAS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TsaurS06,
author = {Rueiher Tsaur and
Michael B. Smyth},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {Convexity in Helly Graphs: Selection and Almost Fixed Point Properties
for Multifunctions},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {151--163},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.030},
doi = {10.1016/J.ENTCS.2006.04.030},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TsaurS06.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-07-17 19:53 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:
