default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. RelMiCS 2005: St. Catharines, Ontario, Canada
- Wendy MacCaull, Michael Winter, Ivo Düntsch:
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. Lecture Notes in Computer Science 3929, Springer 2006, ISBN 3-540-33339-8
Invited Papers
- Georgi D. Dimov
, Dimiter Vakarelov:
Topological Representation of Precontact Algebras. 1-16 - Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch:
Relational Semantics Through Duality. 17-32 - Alasdair Urquhart:
Duality Theory for Projective Algebras. 33-47
Contributed Papers
- Rudolf Berghammer, Ulf Milanese:
Relational Approach to Boolean Logic Problems. 48-59 - Claude Bolduc, Josée Desharnais:
Static Analysis of Programs Using Omega Algebra with Tests. 60-72 - Ivo Düntsch, Michael Winter:
Weak Contact Structures. 73-82 - Alexander Fronk, Jörg Pleumann:
On Relational Cycles. 83-95 - Hitoshi Furusawa:
A Framework for Kleene Algebra with an Embedded Structure. 96-107 - Walter Guttmann:
Non-termination in Unifying Theories of Programming. 108-120 - Peter Höfner, Bernhard Möller:
Towards an Algebra of Hybrid Systems. 121-133 - Jouni Järvinen, Ewa Orlowska:
Relational Correspondences for Lattices with Operators. 134-146 - Wolfram Kahl, Christopher Kumar Anand, Jacques Carette:
Control-Flow Semantics for Assembly-Level Data-Flow Graphs. 147-160 - Britta Kehden, Frank Neumann, Rudolf Berghammer:
Relational Implementation of Simple Parallel Evolutionary Algorithms. 161-172 - Wendy MacCaull, Dimiter Vakarelov:
Lattice-Based Paraconsistent Logic. 173-187 - Vincent Mathieu, Jules Desharnais:
Verification of Pushdown Systems Using Omega Algebra with Domain. 188-199 - Bernhard Möller, Georg Struth:
p Is. 200-211 - Ewa Orlowska, Anna Maria Radzikowska:
Relational Representability for Algebras of Substructural Logics. 212-224 - Georg Struth:
Knuth-Bendix Completion as a Data Structure. 225-236 - Ewa Orlowska, Andrzej Szalas:
Quantifier Elimination in Elementary Set Theory. 237-248 - Michael Winter:
Time-Dependent Contact Structures in Goguen Categories. 249-262
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.
last updated on 2024-10-14 23:16 CEST 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:
