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/RelMiCS/RelMiCS2005.bht:"
download as .bib file
@proceedings{DBLP:conf/RelMiCS/2005,
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11734673},
doi = {10.1007/11734673},
isbn = {3-540-33339-8},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BerghammerM05,
author = {Rudolf Berghammer and
Ulf Milanese},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Relational Approach to Boolean Logic Problems},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {48--59},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_4},
doi = {10.1007/11734673\_4},
timestamp = {Wed, 01 Apr 2020 16:14:32 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/BerghammerM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BolducD05,
author = {Claude Bolduc and
Jos{\'{e}}e Desharnais},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Static Analysis of Programs Using Omega Algebra with Tests},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {60--72},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_5},
doi = {10.1007/11734673\_5},
timestamp = {Sat, 16 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/BolducD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DimovV05,
author = {Georgi D. Dimov and
Dimiter Vakarelov},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Topological Representation of Precontact Algebras},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {1--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_1},
doi = {10.1007/11734673\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DimovV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DuntschW05,
author = {Ivo D{\"{u}}ntsch and
Michael Winter},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Weak Contact Structures},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {73--82},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_6},
doi = {10.1007/11734673\_6},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/DuntschW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FronkP05,
author = {Alexander Fronk and
J{\"{o}}rg Pleumann},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {On Relational Cycles},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {83--95},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_7},
doi = {10.1007/11734673\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/FronkP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Furusawa05,
author = {Hitoshi Furusawa},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {A Framework for Kleene Algebra with an Embedded Structure},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {96--107},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_8},
doi = {10.1007/11734673\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Furusawa05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Guttmann05,
author = {Walter Guttmann},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Non-termination in Unifying Theories of Programming},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {108--120},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_9},
doi = {10.1007/11734673\_9},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Guttmann05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HofnerM05,
author = {Peter H{\"{o}}fner and
Bernhard M{\"{o}}ller},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Towards an Algebra of Hybrid Systems},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {121--133},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_10},
doi = {10.1007/11734673\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/HofnerM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/JarvinenO05,
author = {Jouni J{\"{a}}rvinen and
Ewa Orlowska},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Relational Correspondences for Lattices with Operators},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {134--146},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_11},
doi = {10.1007/11734673\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/JarvinenO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KahlAC05,
author = {Wolfram Kahl and
Christopher Kumar Anand and
Jacques Carette},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Control-Flow Semantics for Assembly-Level Data-Flow Graphs},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {147--160},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_12},
doi = {10.1007/11734673\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/KahlAC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KehdenNB05,
author = {Britta Kehden and
Frank Neumann and
Rudolf Berghammer},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Relational Implementation of Simple Parallel Evolutionary Algorithms},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {161--172},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_13},
doi = {10.1007/11734673\_13},
timestamp = {Mon, 30 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/KehdenNB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MacCaullV05,
author = {Wendy MacCaull and
Dimiter Vakarelov},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Lattice-Based Paraconsistent Logic},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {173--187},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_14},
doi = {10.1007/11734673\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/MacCaullV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MathieuD05,
author = {Vincent Mathieu and
Jules Desharnais},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Verification of Pushdown Systems Using Omega Algebra with Domain},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {188--199},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_15},
doi = {10.1007/11734673\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/MathieuD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MollerS05,
author = {Bernhard M{\"{o}}ller and
Georg Struth},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {p Is},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {200--211},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_16},
doi = {10.1007/11734673\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/MollerS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/OrlowskaR05,
author = {Ewa Orlowska and
Anna Maria Radzikowska},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Relational Representability for Algebras of Substructural Logics},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {212--224},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_17},
doi = {10.1007/11734673\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/OrlowskaR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/OrlowskaRD05,
author = {Ewa Orlowska and
Ingrid Rewitzky and
Ivo D{\"{u}}ntsch},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Relational Semantics Through Duality},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {17--32},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_2},
doi = {10.1007/11734673\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/OrlowskaRD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/OrlowskaS05,
author = {Ewa Orlowska and
Andrzej Szalas},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Quantifier Elimination in Elementary Set Theory},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {237--248},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_19},
doi = {10.1007/11734673\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/OrlowskaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Struth05,
author = {Georg Struth},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Knuth-Bendix Completion as a Data Structure},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {225--236},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_18},
doi = {10.1007/11734673\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Struth05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Urquhart05,
author = {Alasdair Urquhart},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Duality Theory for Projective Algebras},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {33--47},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_3},
doi = {10.1007/11734673\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Urquhart05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Winter05,
author = {Michael Winter},
editor = {Wendy MacCaull and
Michael Winter and
Ivo D{\"{u}}ntsch},
title = {Time-Dependent Contact Structures in Goguen Categories},
booktitle = {Relational Methods in Computer Science, 8th International Seminar
on Relational Methods in Computer Science, 3rd International Workshop
on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3929},
pages = {249--262},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11734673\_20},
doi = {10.1007/11734673\_20},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Winter05.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-05-31 03:28 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:
