Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Barry Dwyer |
Translating relational programs into PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 69-74, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Ron Seljée, Harrie C. M. de Swart |
Three types of redundancy in integrity checking: An optimal solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 188-191, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Rudolf Berghammer |
Using RELVIEW to solve problems on relation-based discrete structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 19-23, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Jifeng He 0001, C. A. R. Hoare |
Unifying theories of programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 97-99, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Wojciech Buszkowski |
More on embeddings of residuated semigroups into algebras of binary relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 33-36, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Ian M. Hodkinson, Szabolcs Mikulás |
Colorful reducts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 106-110, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Johan van Benthem |
Modality, relational guards, and decidability (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 18, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Philippe Balbiani, Dimiter Vakarelov |
Extending arrow logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 13-17, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Wolfram Kahl |
Demonic diagrams - towards a graphical refinement calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 117-121, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Peter Jipsen |
Sequential Q-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 112-116, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Marc Roubens |
About fuzzy preference structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 171-175, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Joachim Lambek |
Relations old and new (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 148-158, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | H. Peter Gumm |
Equational and implicational classes of co-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 86-90, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Beata Konikowska, Charles G. Morgan, Ewa Orlowska |
Relational semantics for arbitrary finite valued logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 138-143, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Jules Desharnais, Ridha Khédri, Ali Mili 0001 |
Towards a uniform relational semantics for tabular expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 53-57, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Burghard von Karger |
Computation calculus = sequential calculus + discreteness and termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 122-126, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Marek Szczerba |
Representation theorems for residuated groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 202-205, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig |
Modal tableaux based on graph-rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 37-42, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Yasuo Kawahara |
Lattices in Dedekind categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 127-131, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Antonino Salibra |
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998, pp. 182-187, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer |
Representability and Program Construction within Fork Algebras (Part II). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 351-358, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Vera Stebletsova, Yde Venema |
Axioms for Jonsson's Q-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 215-224, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Michael Böttner |
Visiting Some Relatives of Peirce's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 311-320, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Fatma Mili, Ali Mili 0001 |
Algorithms = RelationaI Algebra + Ordering Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 273-289, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Szabolcs Mikulás |
A note on expressing infinity in cylindrlc-relativised set algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 239-243, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Vera Stebletsova |
Weakly Assoclative Relation Algebras with Polyadic Compositlons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 369-375, 1997. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 81, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Ingrid Rewitzky |
Programs as binary multirelations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 257-272, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Bernd-Holger Schlingloff |
Modelling Message Buffers with Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 101-111, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Masao Mori, Yasuo Kawahara |
Fuzzy Graph Rewritings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 29-38, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Rym Salem, Khaled Bsaïes |
Mechanizing Proofs by Unfolding, Folding and Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 133-142, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Jules Desharnais |
Monomorphic Characterization of n-ary direct products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 359-368, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Barry Dwyer |
Relational Programming in Libra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 123-132, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Gheorghe Stefanescu |
Axiomatizing Mixed Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 177-186, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Claudia Hattensperger, Peter Kempf |
Towards a Formal Framework for Heterogeneous Relation Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 341-349, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Yasuo Kawahara, Hitoshi Furusawa, Masao Mori |
Categorical Representation Theorems of Fuzzy Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 1-10, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Rudolf Berghammer, Burghard von Karger |
Computing Kernels in Bicromatic Directed Relations (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 309, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Habib Ounalli, Ali Jaoua |
Fuzzy Difunctional Dependencles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 51-62, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Wolfram Kahl |
Relational Matching for Graphical Calculi of Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 91-100, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Yoshihiro Mizoguchi |
Properties of Graphs Preserved by Relational Graph Rewritings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 83-89, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Robin Hirsch |
The Finite Representable Relation Algebras are not Recursive (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 245, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Marcelo F. Frias, Roger D. Maddux |
Completeness of the Relational Calculus MU2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 205-214, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Karim Belaid, Bahri Cherif, Othman Echi |
Some Properties of Spectral Binary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 73-79, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Stéphane Demri, Ewa Orlowska |
Reasoning with Relational Demonic Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 331-340, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Marcelo F. Frias, Ewa Orlowska |
Equational Reasoning in Non-Classical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 321-329, 1997. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Sadok Ben Yahia, Habib Ounalli, Ali Jaoua |
Dynamic fuzzy functional dependency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 39-50, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Olivier |
Oriented, Binary, Ordered Trees and Forests Distributive Allegories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 19-28, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Jesus Ravelo |
Calculating with Relations for Graph Algorithmics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 291-300, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Rym Mili, Lamia Labed Jilani, Ali Mili 0001 |
Measures of Distances to Perform Approximate Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 301-307, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Chris Brink, Ingrid Rewitzky |
Predicate Relators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 143-156, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Lotfi Majdoub, Yahya Slimani |
Defining Levels of Correctness for Parallel Programs with Temporal Logic of Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 167-176, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Raoudha Khchérif, Ali Jaoua, Mohamed Mohsen Gammoudi |
Using Difunctional Relation for Information Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 63-72, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Michael Winter 0001 |
A Relation Algebraic Approach to Interaction Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 11-18, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Maarten Marx |
Relation Algebras Can Tile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 225-238, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Noureddine Boudriga, Sihem Guemara-ElFatmi |
Formal Protocol Description: Model and validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 187-203, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Bernhard Möller |
Calculating With Pointer Structures (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 113-122, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Jifeng He 0001 |
Linking Theories in Probabilistic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 247-256, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Wendy MacCaull |
Semantics for Logics without Contraction Using Ternary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 157-165, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|