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/RelMiCS1998.bht:"
download as .bib file
@inproceedings{DBLP:conf/RelMiCS/AyedMM98,
author = {Rahma Ben Ayed and
Hafedh Mili and
Ali Mili},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Capturing pointer semantics and scoping rules},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {3--7},
year = {1998},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/AyedMM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Backhouse98,
author = {Roland Carl Backhouse},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Pair algebras and Galois connections},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {8--12},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Backhouse98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BalbianiV98,
author = {Philippe Balbiani and
Dimiter Vakarelov},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Extending arrow logic},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {13--17},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/BalbianiV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Benthem98,
author = {Johan van Benthem},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Modality, relational guards, and decidability (invited paper)},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {18},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Benthem98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Berghammer98,
author = {Rudolf Berghammer},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Using {RELVIEW} to solve problems on relation-based discrete structures},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {19--23},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Berghammer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Bottner98,
author = {Michael B{\"{o}}ttner},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Number in Peirce grammar},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {24--28},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Bottner98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BsaiesHJK98,
author = {Khaled Bsa{\"{\i}}es and
Fathi Hammami and
Ali Jaoua and
Wassim Ksontini},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {May reasoning be reduced to an information retrieval problem?},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {29--32},
year = {1998},
timestamp = {Tue, 23 Mar 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/BsaiesHJK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Buszkowski98,
author = {Wojciech Buszkowski},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {More on embeddings of residuated semigroups into algebras of binary
relations},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {33--36},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Buszkowski98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/CastilhoCGH98,
author = {Marcos A. Castilho and
Luis Fari{\~{n}}as del Cerro and
Olivier Gasquet and
Andreas Herzig},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Modal tableaux based on graph-rules},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {37--42},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/CastilhoCGH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Demri98,
author = {St{\'{e}}phane Demri},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Coping with semilattices of relations in logics with relative accessibility
relations},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {43--47},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Demri98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DemriO98,
author = {St{\'{e}}phane Demri and
Ewa Orlowska},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Classes of modal frames definable by closure relational operations},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {48--52},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DemriO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DesharnaisKM98,
author = {Jules Desharnais and
Ridha Kh{\'{e}}dri and
Ali Mili},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Towards a uniform relational semantics for tabular expressions},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {53--57},
year = {1998},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisKM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Dobrowolska98,
author = {Barbara Dobrowolska},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Relational proof system for natural language},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {58--62},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Dobrowolska98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DuntschWM98,
author = {Ivo D{\"{u}}ntsch and
Hui Wang and
Stephen McCloskey},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Relation algebras in spatial reasoning (invited paper)},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {63--68},
year = {1998},
timestamp = {Thu, 24 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DuntschWM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Dwyer98,
author = {Barry Dwyer},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Translating relational programs into {PROLOG}},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {69--74},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Dwyer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FriasBH98,
author = {Marcelo F. Frias and
Gabriel Baum and
Armando Martin Haeberer},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {A calculus for program construction based on fork algebras, generic
algorithms and design strategies},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {75--79},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/FriasBH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Gordeev98,
author = {Lew Gordeev},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Proof systems in relation algebra},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {80--85},
year = {1998},
timestamp = {Wed, 24 Sep 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Gordeev98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Gumm98,
author = {H. Peter Gumm},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Equational and implicational classes of co-algebras},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {86--90},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Gumm98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Gutierrez98,
author = {Claudio Gutierrez},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Decidability of the equational theory of allegories},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {91--96},
year = {1998},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Gutierrez98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HirschH98,
author = {Robin Hirsch and
Ian M. Hodkinson},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Connections between cylindric algebras and relation algebras},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {100--105},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/HirschH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HodkinsonM98,
author = {Ian M. Hodkinson and
Szabolcs Mikul{\'{a}}s},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Colorful reducts},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {106--110},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/HodkinsonM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Iturrioz98,
author = {Luisa Iturrioz},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Relational representation theorems for some algebraic structures},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {111},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Iturrioz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/JifengH98,
author = {Jifeng He and
C. A. R. Hoare},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Unifying theories of programming},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {97--99},
year = {1998},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/JifengH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Jipsen98,
author = {Peter Jipsen},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Sequential Q-algebras},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {112--116},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Jipsen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Kahl98,
author = {Wolfram Kahl},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Demonic diagrams - towards a graphical refinement calculus},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {117--121},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Kahl98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Karger98,
author = {Burghard von Karger},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Computation calculus = sequential calculus + discreteness and termination},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {122--126},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Karger98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Kawahara98,
author = {Yasuo Kawahara},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Lattices in Dedekind categories},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {127--131},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Kawahara98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Kolowska-Gawiejnowics98,
author = {Miroslawa Kolowska{-}Gawiejnowics},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Relational semantics for Lambek calculus},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {132--137},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Kolowska-Gawiejnowics98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KonikowskaMO98,
author = {Beata Konikowska and
Charles G. Morgan and
Ewa Orlowska},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Relational semantics for arbitrary finite valued logics},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {138--143},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/KonikowskaMO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Korczyniski98,
author = {Waldemar Korczyniski},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {On a presentation of Petri nets and their morphisms},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {144--147},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Korczyniski98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Lambek98,
author = {Joachim Lambek},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Relations old and new (invited paper)},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {148--158},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Lambek98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MacCaull98,
author = {Wendy MacCaull},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {A relational approach to association rules and functional dependencies},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {159--164},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/MacCaull98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Moller98,
author = {Bernhard M{\"{o}}ller},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Modal and temporal operators on partial orders},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {165--169},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Moller98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Rewitzky98,
author = {Ingrid Rewitzky},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Duality and simulations},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {170},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Rewitzky98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Roubens98,
author = {Marc Roubens},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {About fuzzy preference structures},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {171--175},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Roubens98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Salibra98,
author = {Antonino Salibra},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {The variety of lambda abstraction algebras does not admit n-permutable
congruences for all n},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {182--187},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Salibra98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/SanJuanI98,
author = {Eric SanJuan and
Luisa Iturrioz},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {An application of standard {BAO} theory to some information algebras},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {176--181},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/SanJuanI98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Schmidt98,
author = {Renate A. Schmidt},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Decidability by unrefined resolution for propositional modal logics},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {192--196},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Schmidt98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/SeljeeS98,
author = {Ron Selj{\'{e}}e and
Harrie C. M. de Swart},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Three types of redundancy in integrity checking: An optimal solution},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {188--191},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/SeljeeS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Stefanescu98,
author = {Gheorghe Stefanescu},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {On space-time duality in computing: Imperative programming versus
wave computation},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {197--201},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Stefanescu98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Szczerba98,
author = {Marek Szczerba},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Representation theorems for residuated groupoids},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {202--205},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Szczerba98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/WinterK98,
author = {Michael Winter and
Peter Kempf},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Processes and relations},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {206--209},
year = {1998},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/WinterK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Wolinski98,
author = {Artur Wolinski},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Cylindric algebras for partial relational systems (Quasicylindric
algebras)},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {210--215},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Wolinski98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/1998,
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/1998.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-23 08:13 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:
