Conferences in DBLP
Rahma Ben Ayed , Hafedh Mili , Ali Mili Capturing pointer semantics and scoping rules. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Carl Backhouse Pair algebras and Galois connections. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Balbiani , Dimiter Vakarelov Extending arrow logic. [Citation Graph (0, 0)][DBLP ] Conf ] Johan van Benthem Modality, relational guards, and decidability (invited paper). [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Berghammer Using RELVIEW to solve problems on relation-based discrete structures. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Böttner Number in Peirce grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Khaled Bsaïes , Fathi Hammami , Ali Jaoua , Wassim Ksontini May reasoning be reduced to an information retrieval problem? [Citation Graph (0, 0)][DBLP ] Conf ] Wojciech Buszkowski More on embeddings of residuated semigroups into algebras of binary relations. [Citation Graph (0, 0)][DBLP ] Conf ] Marcos A. Castilho , Luis Fariñas del Cerro , Olivier Gasquet , Andreas Herzig Modal tableaux based on graph-rules. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Demri Coping with semilattices of relations in logics with relative accessibility relations. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Demri , Ewa Orlowska Classes of modal frames definable by closure relational operations. [Citation Graph (0, 0)][DBLP ] Conf ] Jules Desharnais , Ridha Khédri , Ali Mili Towards a uniform relational semantics for tabular expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Dobrowolska Relational proof system for natural language. [Citation Graph (0, 0)][DBLP ] Conf ] Ivo Düntsch , Hui Wang , Steven McCloskey Relation algebras in spatial reasoning (invited paper). [Citation Graph (0, 0)][DBLP ] Conf ] Barry Dwyer Translating relational programs into PROLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo F. Frias , Gabriel Baum , Armando Martin Haeberer A calculus for program construction based on fork algebras, generic algorithms and design strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Lew Gordeev Proof systems in relation algebra. [Citation Graph (0, 0)][DBLP ] Conf ] H. Peter Gumm Equational and implicational classes of co-algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Gutiérrez Decidability of the equational theory of allegories. [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He , C. A. R. Hoare Unifying theories of programming. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Hirsch , Ian M. Hodkinson Connections between cylindric algebras and relation algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Ian M. Hodkinson , Szabolcs Mikulás Colorful reducts. [Citation Graph (0, 0)][DBLP ] Conf ] Luisa Iturrioz Relational representation theorems for some algebraic structures. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jipsen Sequential Q-algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfram Kahl Demonic diagrams - towards a graphical refinement calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Burghard von Karger Computation calculus = sequential calculus + discreteness and termination. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuo Kawahara Lattices in Dedekind categories. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslawa Kolowska-Gawiejnowics Relational semantics for Lambek calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Beata Konikowska , Charles G. Morgan , Ewa Orlowska Relational semantics for arbitrary finite valued logics. [Citation Graph (0, 0)][DBLP ] Conf ] Waldemar Korczyniski On a presentation of Petri nets and their morphisms. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Lambek Relations old and new (invited paper). [Citation Graph (0, 0)][DBLP ] Conf ] Wendy MacCaull A relational approach to association rules and functional dependencies. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Möller Modal and temporal operators on partial orders. [Citation Graph (0, 0)][DBLP ] Conf ] Ingrid Rewitzky Duality and simulations. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Roubens About fuzzy preference structures. [Citation Graph (0, 0)][DBLP ] Conf ] Eric SanJuan , Luisa Iturrioz An application of standard BAO theory to some information algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Antonino Salibra The variety of lambda abstraction algebras does not admit n-permutable congruences for all n. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Seljée , Harrie C. M. de Swart Three types of redundancy in integrity checking: An optimal solution. [Citation Graph (0, 0)][DBLP ] Conf ] Renate A. Schmidt Decidability by unrefined resolution for propositional modal logics. [Citation Graph (0, 0)][DBLP ] Conf ] Gheorghe Stefanescu On space-time duality in computing: Imperative programming versus wave computation. [Citation Graph (0, 0)][DBLP ] Conf ] Marek Szczerba Representation theorems for residuated groupoids. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Winter , Peter Kempf Processes and relations. [Citation Graph (0, 0)][DBLP ] Conf ] Artur Wolinski Cylindric algebras for partial relational systems (Quasicylindric algebras). [Citation Graph (0, 0)][DBLP ] Conf ] 