Search results for "copies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Artur Wolinski	Cylindric algebras for partial relational systems (Quasicylindric algebras).	RelMiCS	1998	DBLP BibTeX RDF
18	Luisa Iturrioz	Relational representation theorems for some algebraic structures.	RelMiCS	1998	DBLP BibTeX RDF
18	Waldemar Korczyniski	On a presentation of Petri nets and their morphisms.	RelMiCS	1998	DBLP BibTeX RDF
18	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
18	Rahma Ben Ayed, Hafedh Mili, Ali Mili 0001	Capturing pointer semantics and scoping rules.	RelMiCS	1998	DBLP BibTeX RDF
18	Michael Winter 0001, Peter Kempf	Processes and relations.	RelMiCS	1998	DBLP BibTeX RDF
18	Ivo Düntsch, Hui Wang 0001, Stephen McCloskey	Relation algebras in spatial reasoning (invited paper).	RelMiCS	1998	DBLP BibTeX RDF
18	Wendy MacCaull	A relational approach to association rules and functional dependencies.	RelMiCS	1998	DBLP BibTeX RDF
18	Robin Hirsch, Ian M. Hodkinson	Connections between cylindric algebras and relation algebras.	RelMiCS	1998	DBLP BibTeX RDF
18	Claudio Gutierrez 0001	Decidability of the equational theory of allegories.	RelMiCS	1998	DBLP BibTeX RDF
18	Ingrid Rewitzky	Duality and simulations.	RelMiCS	1998	DBLP BibTeX RDF
18	Stéphane Demri	Coping with semilattices of relations in logics with relative accessibility relations.	RelMiCS	1998	DBLP BibTeX RDF
18	Stéphane Demri, Ewa Orlowska	Classes of modal frames definable by closure relational operations.	RelMiCS	1998	DBLP BibTeX RDF
18	Barbara Dobrowolska	Relational proof system for natural language.	RelMiCS	1998	DBLP BibTeX RDF
18	Eric SanJuan, Luisa Iturrioz	An application of standard BAO theory to some information algebras.	RelMiCS	1998	DBLP BibTeX RDF
18	Lew Gordeev	Proof systems in relation algebra.	RelMiCS	1998	DBLP BibTeX RDF
18	Miroslawa Kolowska-Gawiejnowics	Relational semantics for Lambek calculus.	RelMiCS	1998	DBLP BibTeX RDF
18	Khaled Bsaïes, Fathi Hammami, Ali Jaoua, Wassim Ksontini	May reasoning be reduced to an information retrieval problem?	RelMiCS	1998	DBLP BibTeX RDF
18	Barry Dwyer	Translating relational programs into PROLOG.	RelMiCS	1998	DBLP BibTeX RDF
18	Ron Seljée, Harrie C. M. de Swart	Three types of redundancy in integrity checking: An optimal solution.	RelMiCS	1998	DBLP BibTeX RDF
18	Rudolf Berghammer	Using RELVIEW to solve problems on relation-based discrete structures.	RelMiCS	1998	DBLP BibTeX RDF
18	Jifeng He 0001, C. A. R. Hoare	Unifying theories of programming.	RelMiCS	1998	DBLP BibTeX RDF
18	Wojciech Buszkowski	More on embeddings of residuated semigroups into algebras of binary relations.	RelMiCS	1998	DBLP BibTeX RDF
18	Ian M. Hodkinson, Szabolcs Mikulás	Colorful reducts.	RelMiCS	1998	DBLP BibTeX RDF
18	Johan van Benthem	Modality, relational guards, and decidability (invited paper).	RelMiCS	1998	DBLP BibTeX RDF
18	Philippe Balbiani, Dimiter Vakarelov	Extending arrow logic.	RelMiCS	1998	DBLP BibTeX RDF
18	Wolfram Kahl	Demonic diagrams - towards a graphical refinement calculus.	RelMiCS	1998	DBLP BibTeX RDF
18	Peter Jipsen	Sequential Q-algebras.	RelMiCS	1998	DBLP BibTeX RDF
18	Marc Roubens	About fuzzy preference structures.	RelMiCS	1998	DBLP BibTeX RDF
18	Joachim Lambek	Relations old and new (invited paper).	RelMiCS	1998	DBLP BibTeX RDF
18	H. Peter Gumm	Equational and implicational classes of co-algebras.	RelMiCS	1998	DBLP BibTeX RDF
18	Beata Konikowska, Charles G. Morgan, Ewa Orlowska	Relational semantics for arbitrary finite valued logics.	RelMiCS	1998	DBLP BibTeX RDF
18	Jules Desharnais, Ridha Khédri, Ali Mili 0001	Towards a uniform relational semantics for tabular expressions.	RelMiCS	1998	DBLP BibTeX RDF
18	Burghard von Karger	Computation calculus = sequential calculus + discreteness and termination.	RelMiCS	1998	DBLP BibTeX RDF
18	Marek Szczerba	Representation theorems for residuated groupoids.	RelMiCS	1998	DBLP BibTeX RDF
18	Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig	Modal tableaux based on graph-rules.	RelMiCS	1998	DBLP BibTeX RDF
18	Yasuo Kawahara	Lattices in Dedekind categories.	RelMiCS	1998	DBLP BibTeX RDF
18	Antonino Salibra	The variety of lambda abstraction algebras does not admit n-permutable congruences for all n.	RelMiCS	1998	DBLP BibTeX RDF
18	Frank K. Hwang, P. J. Wan	Comparing File Copies with at Most Three Disagreeing Pages.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF
18	John D. Kececioglu, Ming Li 0001, John Tromp	Inferring a DNA Sequence from Erroneous Copies.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
18	Christopher J. Ash, Julia F. Knight	Possible Degrees in Recursive Copies II.	Ann. Pure Appl. Log.	1997	DBLP DOI BibTeX RDF
18	Christopher J. Ash, Julia F. Knight, Jeffrey B. Remmel	Quasi-Simple Relations in Copies of a Given Recursive Structure.	Ann. Pure Appl. Log.	1997	DBLP DOI BibTeX RDF
18	Zbigniew Lonc	Edge Decomposition into Isomorphic Copies ofsK1, 2Is Polynomial.	J. Comb. Theory, Ser. B	1997	DBLP DOI BibTeX RDF
18		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
18	C. Greg Plaxton, Rajmohan Rajaraman, Andréa W. Richa	Accessing Nearby Copies of Replicated Objects in a Distributed Environment.	SPAA	1997	DBLP DOI BibTeX RDF
18	Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer	Representability and Program Construction within Fork Algebras (Part II).	RelMiCS	1997	DBLP BibTeX RDF
18	Vera Stebletsova, Yde Venema	Axioms for Jonsson's Q-Algebras.	RelMiCS	1997	DBLP BibTeX RDF
18	Michael Böttner	Visiting Some Relatives of Peirce's.	RelMiCS	1997	DBLP BibTeX RDF
18	Fatma Mili, Ali Mili 0001	Algorithms = RelationaI Algebra + Ordering Relations.	RelMiCS	1997	DBLP BibTeX RDF
18	Szabolcs Mikulás	A note on expressing infinity in cylindrlc-relativised set algebras.	RelMiCS	1997	DBLP BibTeX RDF
18	Vera Stebletsova	Weakly Assoclative Relation Algebras with Polyadic Compositlons.	RelMiCS	1997	DBLP BibTeX RDF
18	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
18	Ingrid Rewitzky	Programs as binary multirelations.	RelMiCS	1997	DBLP BibTeX RDF
18	Bernd-Holger Schlingloff	Modelling Message Buffers with Binary Decision Diagrams.	RelMiCS	1997	DBLP BibTeX RDF
18	Masao Mori, Yasuo Kawahara	Fuzzy Graph Rewritings.	RelMiCS	1997	DBLP BibTeX RDF
18	Rym Salem, Khaled Bsaïes	Mechanizing Proofs by Unfolding, Folding and Simplification.	RelMiCS	1997	DBLP BibTeX RDF
18	Jules Desharnais	Monomorphic Characterization of n-ary direct products.	RelMiCS	1997	DBLP BibTeX RDF
18	Barry Dwyer	Relational Programming in Libra.	RelMiCS	1997	DBLP BibTeX RDF
18	Gheorghe Stefanescu	Axiomatizing Mixed Relations.	RelMiCS	1997	DBLP BibTeX RDF
18	Claudia Hattensperger, Peter Kempf	Towards a Formal Framework for Heterogeneous Relation Algebra.	RelMiCS	1997	DBLP BibTeX RDF
18	Yasuo Kawahara, Hitoshi Furusawa, Masao Mori	Categorical Representation Theorems of Fuzzy Relations.	RelMiCS	1997	DBLP BibTeX RDF
18	Rudolf Berghammer, Burghard von Karger	Computing Kernels in Bicromatic Directed Relations (Abstract).	RelMiCS	1997	DBLP BibTeX RDF
18	Habib Ounalli, Ali Jaoua	Fuzzy Difunctional Dependencles.	RelMiCS	1997	DBLP BibTeX RDF
18	Wolfram Kahl	Relational Matching for Graphical Calculi of Relations.	RelMiCS	1997	DBLP BibTeX RDF
18	Yoshihiro Mizoguchi	Properties of Graphs Preserved by Relational Graph Rewritings.	RelMiCS	1997	DBLP BibTeX RDF
18	Robin Hirsch	The Finite Representable Relation Algebras are not Recursive (Abstract).	RelMiCS	1997	DBLP BibTeX RDF
18	Marcelo F. Frias, Roger D. Maddux	Completeness of the Relational Calculus MU2.	RelMiCS	1997	DBLP BibTeX RDF
18	Karim Belaid, Bahri Cherif, Othman Echi	Some Properties of Spectral Binary Relations.	RelMiCS	1997	DBLP BibTeX RDF
18	Stéphane Demri, Ewa Orlowska	Reasoning with Relational Demonic Operators.	RelMiCS	1997	DBLP BibTeX RDF
18	Marcelo F. Frias, Ewa Orlowska	Equational Reasoning in Non-Classical Logics.	RelMiCS	1997	DBLP BibTeX RDF
18	Sadok Ben Yahia, Habib Ounalli, Ali Jaoua	Dynamic fuzzy functional dependency.	RelMiCS	1997	DBLP BibTeX RDF
18	Jean-Pierre Olivier	Oriented, Binary, Ordered Trees and Forests Distributive Allegories.	RelMiCS	1997	DBLP BibTeX RDF
18	Jesus Ravelo	Calculating with Relations for Graph Algorithmics.	RelMiCS	1997	DBLP BibTeX RDF
18	Rym Mili, Lamia Labed Jilani, Ali Mili 0001	Measures of Distances to Perform Approximate Retrieval.	RelMiCS	1997	DBLP BibTeX RDF
18	Chris Brink, Ingrid Rewitzky	Predicate Relators.	RelMiCS	1997	DBLP BibTeX RDF
18	Lotfi Majdoub, Yahya Slimani	Defining Levels of Correctness for Parallel Programs with Temporal Logic of Actions.	RelMiCS	1997	DBLP BibTeX RDF
18	Raoudha Khchérif, Ali Jaoua, Mohamed Mohsen Gammoudi	Using Difunctional Relation for Information Organization.	RelMiCS	1997	DBLP BibTeX RDF
18	Michael Winter 0001	A Relation Algebraic Approach to Interaction Categories.	RelMiCS	1997	DBLP BibTeX RDF
18	Maarten Marx	Relation Algebras Can Tile.	RelMiCS	1997	DBLP BibTeX RDF
18	Noureddine Boudriga, Sihem Guemara-ElFatmi	Formal Protocol Description: Model and validation.	RelMiCS	1997	DBLP BibTeX RDF
18	Bernhard Möller	Calculating With Pointer Structures (Extended Abstract).	RelMiCS	1997	DBLP BibTeX RDF
18	Jifeng He 0001	Linking Theories in Probabilistic Programming.	RelMiCS	1997	DBLP BibTeX RDF
18	Wendy MacCaull	Semantics for Logics without Contraction Using Ternary Relations.	RelMiCS	1997	DBLP BibTeX RDF
18	Yehuda Roditty	Packing and covering of the complete graph, V: the forests of order six and their multiple copies.	Ars Comb.	1996	DBLP BibTeX RDF
18	Sze-Chin Shee, Yong-Song Ho	The cordiality of the path-union of n copies of a graph.	Discret. Math.	1996	DBLP DOI BibTeX RDF
18	Hong Wang 0005, Norbert Sauer	Packing of three copies of a graph.	J. Graph Theory	1996	DBLP DOI BibTeX RDF
18	Hector Garcia-Molina, Luis Gravano, Narayanan Shivakumar	dSCAM: Finding Document Copies Across Multiple Databases.	PDIS	1996	DBLP DOI BibTeX RDF
18	Christopher J. Ash, Julia F. Knight	Possible Degrees in Recursive Copies.	Ann. Pure Appl. Log.	1995	DBLP DOI BibTeX RDF
18	John D. Kececioglu, Ming Li 0001, John Tromp	Inferring a DNA Sequence from Erroneous Copies (Abstract).	ALT	1995	DBLP DOI BibTeX RDF
18	James D. Guyton, Michael F. Schwartz	Locating Nearby Copies of Replicated Internet Servers.	SIGCOMM	1995	DBLP DOI BibTeX RDF	Internet
18	James Kadirire	Minimising packet copies in multicast routing by exploiting geographic spread.	Comput. Commun. Rev.	1994	DBLP DOI BibTeX RDF
18	Kerstin Lyttkens, Tomas Kirkhorn, Mikael Kehler, Berth Andersson, Anders Ebbesen, Peter Hochbergs, Olof Jarlman, Claes-Göran Lindberg, Nils-Gunnar Holmer	Evaluation of the image quality of ink-jet printed paper copies of digital chest radiographs as compared with film: A receiver operating characteristic study.	J. Digit. Imaging	1994	DBLP DOI BibTeX RDF
18	Kevin J. Davey	Inseparability in Recursive Copies.	Ann. Pure Appl. Log.	1994	DBLP DOI BibTeX RDF
18	A. J. H. King, Crispin St. John Alvah Nash-Williams	Reconstructing the number of copies of a valency-labeled finite graph in an infinite graph.	J. Graph Theory	1994	DBLP DOI BibTeX RDF
18	Arie Bialostocki, P. Dierker	On zero sum Ramsey numbers: Multiple copies of a graph.	J. Graph Theory	1994	DBLP DOI BibTeX RDF
18	Akram Abdennadher, John J. Metzner	Use of Gauss-Jordan Matrix Reduction in the Reconstruction of a Correct File Copy from Erroneous Copies.	HICSS (2)	1994	DBLP BibTeX RDF
18	Hong Wang 0005, Norbert Sauer	Packing Three Copies of a Tree into a Complete Graph.	Eur. J. Comb.	1993	DBLP DOI BibTeX RDF
18	Maria E. Orlowska	Effective Utilization of Copies in a Transparent Distributed Environment.	Distributed Parallel Databases	1993	DBLP DOI BibTeX RDF
18	Sze-Chin Shee, Yong-Song Ho	The cordiality of one-point union of n copies of a graph.	Discret. Math.	1993	DBLP DOI BibTeX RDF
18	Bogdan J. Falkowski	Generation of gray code ordered Walsh functions by symmetric and shift copies.	ISCAS	1993	DBLP BibTeX RDF