Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Barry Dwyer |
Translating relational programs into PROLOG. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Ron Seljée, Harrie C. M. de Swart |
Three types of redundancy in integrity checking: An optimal solution. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Rudolf Berghammer |
Using RELVIEW to solve problems on relation-based discrete structures. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Jifeng He 0001, C. A. R. Hoare |
Unifying theories of programming. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Wojciech Buszkowski |
More on embeddings of residuated semigroups into algebras of binary relations. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Ian M. Hodkinson, Szabolcs Mikulás |
Colorful reducts. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Johan van Benthem |
Modality, relational guards, and decidability (invited paper). |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Philippe Balbiani, Dimiter Vakarelov |
Extending arrow logic. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Wolfram Kahl |
Demonic diagrams - towards a graphical refinement calculus. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Peter Jipsen |
Sequential Q-algebras. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Marc Roubens |
About fuzzy preference structures. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Joachim Lambek |
Relations old and new (invited paper). |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | H. Peter Gumm |
Equational and implicational classes of co-algebras. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Beata Konikowska, Charles G. Morgan, Ewa Orlowska |
Relational semantics for arbitrary finite valued logics. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Jules Desharnais, Ridha Khédri, Ali Mili 0001 |
Towards a uniform relational semantics for tabular expressions. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Burghard von Karger |
Computation calculus = sequential calculus + discreteness and termination. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Marek Szczerba |
Representation theorems for residuated groupoids. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig |
Modal tableaux based on graph-rules. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Yasuo Kawahara |
Lattices in Dedekind categories. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Antonino Salibra |
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer |
Representability and Program Construction within Fork Algebras (Part II). |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Vera Stebletsova, Yde Venema |
Axioms for Jonsson's Q-Algebras. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Michael Böttner |
Visiting Some Relatives of Peirce's. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Fatma Mili, Ali Mili 0001 |
Algorithms = RelationaI Algebra + Ordering Relations. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Szabolcs Mikulás |
A note on expressing infinity in cylindrlc-relativised set algebras. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Vera Stebletsova |
Weakly Assoclative Relation Algebras with Polyadic Compositlons. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Hajnal Andréka, Ian M. Hodkinson, István Németi |
The finite base property for some cylindric-relativized algebras (Abstract). |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Ingrid Rewitzky |
Programs as binary multirelations. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Bernd-Holger Schlingloff |
Modelling Message Buffers with Binary Decision Diagrams. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Masao Mori, Yasuo Kawahara |
Fuzzy Graph Rewritings. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Rym Salem, Khaled Bsaïes |
Mechanizing Proofs by Unfolding, Folding and Simplification. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Jules Desharnais |
Monomorphic Characterization of n-ary direct products. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Barry Dwyer |
Relational Programming in Libra. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Gheorghe Stefanescu |
Axiomatizing Mixed Relations. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Claudia Hattensperger, Peter Kempf |
Towards a Formal Framework for Heterogeneous Relation Algebra. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Yasuo Kawahara, Hitoshi Furusawa, Masao Mori |
Categorical Representation Theorems of Fuzzy Relations. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Rudolf Berghammer, Burghard von Karger |
Computing Kernels in Bicromatic Directed Relations (Abstract). |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Habib Ounalli, Ali Jaoua |
Fuzzy Difunctional Dependencles. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Wolfram Kahl |
Relational Matching for Graphical Calculi of Relations. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Yoshihiro Mizoguchi |
Properties of Graphs Preserved by Relational Graph Rewritings. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Robin Hirsch |
The Finite Representable Relation Algebras are not Recursive (Abstract). |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Marcelo F. Frias, Roger D. Maddux |
Completeness of the Relational Calculus MU2. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Karim Belaid, Bahri Cherif, Othman Echi |
Some Properties of Spectral Binary Relations. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Stéphane Demri, Ewa Orlowska |
Reasoning with Relational Demonic Operators. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Marcelo F. Frias, Ewa Orlowska |
Equational Reasoning in Non-Classical Logics. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | |
Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Sadok Ben Yahia, Habib Ounalli, Ali Jaoua |
Dynamic fuzzy functional dependency. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Olivier |
Oriented, Binary, Ordered Trees and Forests Distributive Allegories. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Jesus Ravelo |
Calculating with Relations for Graph Algorithmics. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Rym Mili, Lamia Labed Jilani, Ali Mili 0001 |
Measures of Distances to Perform Approximate Retrieval. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Chris Brink, Ingrid Rewitzky |
Predicate Relators. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Lotfi Majdoub, Yahya Slimani |
Defining Levels of Correctness for Parallel Programs with Temporal Logic of Actions. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Raoudha Khchérif, Ali Jaoua, Mohamed Mohsen Gammoudi |
Using Difunctional Relation for Information Organization. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Michael Winter 0001 |
A Relation Algebraic Approach to Interaction Categories. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Maarten Marx |
Relation Algebras Can Tile. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Noureddine Boudriga, Sihem Guemara-ElFatmi |
Formal Protocol Description: Model and validation. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Bernhard Möller |
Calculating With Pointer Structures (Extended Abstract). |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Jifeng He 0001 |
Linking Theories in Probabilistic Programming. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
1 | Wendy MacCaull |
Semantics for Logics without Contraction Using Ternary Relations. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|