Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Britta Kehden, Frank Neumann 0001, Rudolf Berghammer |
Relational Implementation of Simple Parallel Evolutionary Algorithms. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch |
Relational Semantics Through Duality. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Fronk, Jörg Pleumann |
On Relational Cycles. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wendy MacCaull, Dimiter Vakarelov |
Lattice-Based Paraconsistent Logic. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
lattice representation, graded information, paraconsistent logic, negation, multi-valued logic, Kripke semantics |
1 | Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.) |
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers |
RelMiCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Roland Carl Backhouse, Diethard Michaelis |
Fixed-Point Characterisation of Winning Strategies in Impartial Games. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Decomposing Relations into Orderings. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Scollo |
An Institution Isomorphism for Planar Graph Colouring. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
Calculational Relation-Algebraic Proofs in Isabelle/Isar. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Petr Hájek 0001 |
Relations and GUHA-Style Data Mining II. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Alexander Fronk |
Applying Relational Algebra in 3D Graphical Software Design. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Wendy MacCaull, Ewa Orlowska |
A Calculus of Typed Relations. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
Relational proof system, typed relations, nondeterministic databases, information relations, relational database |
1 | Hitoshi Furusawa |
The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jipsen |
A Note on Complex Algebras of Semigroups. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis |
Investigating Discrete Controllability with Kleene Algebra. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Möller, Georg Struth |
Greedy-Like Algorithms in Modal Kleene Algebra. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra |
1 | Raymond Bisdorff, Marc Roubens |
Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jules Desharnais |
Kleene Algebra with Relations. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov |
SCAN Is Complete for All Sahlqvist Formulae. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti |
Rasiowa-Sikorski Style Relational Elementary Set Theory. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
translation methods, Modal logic, relational systems |
1 | Gunther Schmidt 0001 |
Relational Data Analysis. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Erich Doberkat |
Tracing Relations Probabilistically. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
Probabilistic relations, specification techniques (nondeterministic, stochastic), representation theory |
1 | Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt |
Two Proof Systems for Peirce Algebras. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Ehm, Bernhard Möller, Georg Struth |
Kleene Modules. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard |
Integrating Model Checking and Theorem Proving for Relational Reasoning. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Gonzalía |
Towards a Formalisation of Relational Database Theory in Constructive Type Theory. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Ehm |
Pointer Kleene Algebra. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
pointer algebra, pointer structures, embedding, Kleene algebra |
1 | Adam Bakewell, Detlef Plump, Colin Runciman |
Checking the Shape Safety of Pointer Manipulations. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Harrie C. M. de Swart (eds.) |
Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers |
RelMiCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Zimmermann |
A Subintuitionistic Logic and Some of Its Methods. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Yasuo Kawahara |
Groups in Allegories. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese |
Implementation of Relational Algebra Using Binary Decision Diagrams. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ivo Düntsch, Marc Roubens |
Tangent Circle Algebras. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Agata Pilitowska |
Interval Bilattices and Some Other Simple Bilattices. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ewa Orlowska, Anna Maria Radzikowska |
Double Residuated Lattices and Their Applications. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
Information relations, Information operators, Fuzzy logical operators, Fuzzy sets, Residuated lattices |
1 | Mike Nachtegael, Martine De Cock, Dietrich Van der Weken, Etienne E. Kerre |
Fuzzy Relational Images in Computer Science. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Buszkowski |
Pregroups: Models and Grammars. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Stefanescu |
Interactive Systems: From Folklore to Mathematics. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Robert E. Kent |
Distributed Conceptual Structures. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Thorsten Hoffmann |
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
A Relation-Algebraic Approach to Graph Structure Transformation. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum |
Interpretability of First-Order Dynamic Logic in a Relational Calculus. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, León González-Sotos |
A Computer Algebra Approach to Relational Systems Using Gröbner Bases. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hitomi Okuma, Yasuo Kawahara |
A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Relational Constructions in Goguen Categories. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani |
Emptiness Relations in Property Systems. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Petr Hájek 0001 |
Relations in GUHA Style Data Mining. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Georg Struth |
Calculating Church-Rosser Proofs in Kleene Algebra. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
$lambda$-calculus, Church-Rosser theorem, rewriting, Kleene algebra, formal mathematics |
1 | Ernst-Erich Doberkat, Eugenio G. Omodeo |
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kim Cao-Van, Bernard De Baets |
On the Definition and Representation of a Ranking. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
Reversed preference, Ranking, Supervised learning |
1 | Peter Jipsen |
Some Results about Complex Algebras of Algebras. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Yahya Slimani, Soulimane Mammar |
Relational Petri Nets: a new class of high-level Petri nets. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Dexter Kozen, Jerzy Tiuryn |
On the Completeness of Propositional Hoare Logic. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Rudolf Berghammer, Thorsten Hoffmann |
Relational Depth-First-Search with Applications. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Jules Desharnais, Bernhard Möller |
Characterizing Functions in Kleene Algebras. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Yasuo Kawahara, Hitoshi Furusawa |
Crispness in Dedekind Categories. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Yasuo Kawahara, Hitomi Ohkuma |
Relational Aspects of Relational Database Dependencies. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Lew Gordeev |
Combinatorial Principles Relevant to Finite Variable Logic. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Yoshihiro Mizoguchi, Pericles Loucopoulos |
Formalizing the Definition and Evolution of Models in a Repository using the Relational Graph Expressions. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Ivo Düntsch, Ewa Orlowska, Hui Wang 0001 |
An Algebraic and Logical Approach to the Approximation of Regions. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Böttner |
Multigrade Extension of Relational Grammar. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Wolfram Kahl |
Unsharp Demonic Products and Stratified Term Graphs. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Carlos Gonzalía |
The Allegory of E-Relations in Constructive Type Theory. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Jules Desharnais (eds.) |
Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Jacques Riguet |
Generating and extending relational algebra by relational generators. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Ryszard Janicki, Ridha Khédri |
Remarks on Mereology of Relations. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Nerman Jurrjus, Harrie C. M. de Swart |
Implication-with-possible-exceptions. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Robert E. Jamison, John L. Pfaltz |
Closure Systems and their Structure. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Robert E. Jamison, Beth Novick |
On a Contraction-Expansion Closure in Graphs. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Marcelo F. Frias, Gabriel Baum, Esteban de la Canal |
How to say Greedy in Fork Algebras. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Ali Jaoua, Faisal Alvi, Samir Elloumi, Sadok Ben Yahia |
Galois Connection in Fuzzy Binary Relations, Applications for Discovering Association Rules and Decision Making. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Jordi Cortadella, Gabriel Valiente |
A Relational View of Subgraph Isomorphism. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro |
A Decision Method for Duration Calculus. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Fairouz Tchier |
Semantique relationnelle demoniaque des diagrammes composes. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Habib Ammari, Ali Mili 0001 |
Lattice Based Distances. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Winter 0001 |
An Algebraic Formalisation of L-Fuzzy Relations. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
1 | Gheorghe Stefanescu |
On space-time duality in computing: Imperative programming versus wave computation. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Michael Böttner |
Number in Peirce grammar. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Bernhard Möller |
Modal and temporal operators on partial orders. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Renate A. Schmidt |
Decidability by unrefined resolution for propositional modal logics. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Roland Carl Backhouse |
Pair algebras and Galois connections. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Artur Wolinski |
Cylindric algebras for partial relational systems (Quasicylindric algebras). |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Ewa Orlowska, Andrzej Szalas (eds.) |
Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998 |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Luisa Iturrioz |
Relational representation theorems for some algebraic structures. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Waldemar Korczyniski |
On a presentation of Petri nets and their morphisms. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer |
A calculus for program construction based on fork algebras, generic algorithms and design strategies. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Rahma Ben Ayed, Hafedh Mili, Ali Mili 0001 |
Capturing pointer semantics and scoping rules. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Michael Winter 0001, Peter Kempf |
Processes and relations. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Ivo Düntsch, Hui Wang 0001, Stephen McCloskey |
Relation algebras in spatial reasoning (invited paper). |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Wendy MacCaull |
A relational approach to association rules and functional dependencies. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Robin Hirsch, Ian M. Hodkinson |
Connections between cylindric algebras and relation algebras. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Claudio Gutierrez 0001 |
Decidability of the equational theory of allegories. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Ingrid Rewitzky |
Duality and simulations. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Stéphane Demri |
Coping with semilattices of relations in logics with relative accessibility relations. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Stéphane Demri, Ewa Orlowska |
Classes of modal frames definable by closure relational operations. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Barbara Dobrowolska |
Relational proof system for natural language. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Eric SanJuan, Luisa Iturrioz |
An application of standard BAO theory to some information algebras. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Lew Gordeev |
Proof systems in relation algebra. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Miroslawa Kolowska-Gawiejnowics |
Relational semantics for Lambek calculus. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
1 | Khaled Bsaïes, Fathi Hammami, Ali Jaoua, Wassim Ksontini |
May reasoning be reduced to an information retrieval problem? |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|