Search results for "distributivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Milan Mares	Brief note on distributivity of triangular fuzzy numbers.	Kybernetika	1995	DBLP BibTeX RDF
20	Yasuo Kanai	On a Generalization of Distributivity.	J. Symb. Log.	1994	DBLP DOI BibTeX RDF
20	Robert D. Rosebrugh, Richard J. Wood	Constructive complete distributivity IV.	Appl. Categorical Struct.	1994	DBLP DOI BibTeX RDF
20	Anastasis Kamburelis	On the Weak Distributivity Game.	Ann. Pure Appl. Log.	1994	DBLP DOI BibTeX RDF
20	Evelyne Contejean	Solving *-Problems Modulo Distributivity by a Reduction to AC1-Unification.	J. Symb. Comput.	1993	DBLP DOI BibTeX RDF
20	Patrick Dehornoy	The Naming Problem for Left Distributivity.	IWWERT	1991	DBLP DOI BibTeX RDF
20	Ivor J. Johnston	Some results involving multilattice ideals and distributivity.	Discret. Math.	1990	DBLP DOI BibTeX RDF
20	Alan S. Stern	Sequential Theories and Infinite Distributivity in the Lattice of Chapters.	J. Symb. Log.	1989	DBLP DOI BibTeX RDF
20	Remko Scha, David Stallard	Multi-Level Plurals and Distributivity.	ACL	1988	DBLP BibTeX RDF
20	Erik Tidén, Stefan Arnborg	Unification Problems with One-Sided Distributivity.	J. Symb. Comput.	1987	DBLP DOI BibTeX RDF
20	James E. Robertson	Conditions for the distributivity of multiplication with respect to set addition and their effect on the design of array multipliers.	IEEE Symposium on Computer Arithmetic	1983	DBLP DOI BibTeX RDF
20	George E. Collins	Distributivity and An Axiom of Choice.	J. Symb. Log.	1954	DBLP DOI BibTeX RDF
15	Matthieu Martel	Program transformation for numerical precision.	PEPM	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, compiler optimizations, floating-point numbers, numerical precision
15	Richard Dapoigny, Patrick Barlatier	Reasoning about Relations with Dependent Types: Application to Context-Aware Applications.	ISMIS	2009	DBLP DOI BibTeX RDF
15	Zoltán Ésik, Tamás Hajgató	Iteration Grove Theories with Applications.	CAI	2009	DBLP DOI BibTeX RDF
15	Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey	Demand-Driven Normalisation for ACD Term Rewriting.	ICLP	2009	DBLP DOI BibTeX RDF
15	C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman	Concurrent Kleene Algebra.	CONCUR	2009	DBLP DOI BibTeX RDF
15	Witold Pedrycz, Partab Rai	A Multifaceted Perspective at Data Analysis: A Study in Collaborative Intelligent Agents.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
15	Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner	An Inflationary Fixed Point Operator in XQuery.	ICDE	2008	DBLP DOI BibTeX RDF
15	Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey	Cadmium: An Implementation of ACD Term Rewriting.	ICLP	2008	DBLP DOI BibTeX RDF
15	Yi Lu 0002, Huaxiong Wang, San Ling	Cryptanalysis of Rabbit.	ISC	2008	DBLP DOI BibTeX RDF	ECRYPT, stream cipher, bias, distinguishing attack, keystream, Rabbit
15	Sebastian Dörn, Thomas Thierauf	The Quantum Complexity of Group Testing.	SOFSEM	2008	DBLP DOI BibTeX RDF
15	Michael Moortgat	Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.	WoLLIC	2007	DBLP DOI BibTeX RDF
15	Raffaella Bernardi, Michael Moortgat	Continuation Semantics for Symmetric Categorial Grammar.	WoLLIC	2007	DBLP DOI BibTeX RDF
15	Russell Harmer, Martin Hyland, Paul-André Melliès	Categorical Combinatorics for Innocent Strategies.	LICS	2007	DBLP DOI BibTeX RDF
15	Frank Pfenning	Subtyping and intersection types revisited.	ICFP	2007	DBLP DOI BibTeX RDF
15	Sergiu Rudeanu, Dan A. Simovici	On the Ranges of Algebraic Functions on Lattices.	Stud Logica	2006	DBLP DOI BibTeX RDF	?ukasiewicz-Moisil algebras, determination principle, distributive lattice, modular lattice
15	Ernie Cohen	Weak Kleene Algebra and Computation Trees.	RelMiCS	2006	DBLP DOI BibTeX RDF
15	Georg Struth	Tableaux for Lattices.	AMAST	2006	DBLP DOI BibTeX RDF
15	Markus Krötzsch, Grit Malik	The Tensor Product as a Lattice of Regular Galois Connections.	ICFCA	2006	DBLP DOI BibTeX RDF
15	David N. Yetter	Measurable Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	monoidal bicategory, Borel space, direct integral, measurable cetegory, monoidal category
15	Santiago Aja-Fernández, Carlos Alberola-López	Fast Inference Using Transition Matrices: An Extension to Nonlinear Operators.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
15	Michel Serfati	A Note on Triangulation of PostAlgebras and "Leibnizian" Lattices.	ISMVL	2005	DBLP DOI BibTeX RDF
15	Mingsheng Ying	A theory of computation based on quantum logic (I).	GrC	2005	DBLP DOI BibTeX RDF
15	Peter Jipsen	From Semirings to Residuated Kleene Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
15	Philipp H. Mohr, Nick Ryan, Jon Timmis	Exploiting Immunological Properties for Ubiquitous Computing Systems.	ICARIS	2004	DBLP DOI BibTeX RDF
15	Bernhard Möller	Lazy Kleene Algebra.	MPC	2004	DBLP DOI BibTeX RDF
15	Po-Hao Chang, WooYoung Kim, Gul Agha	An Adaptive Programming Framework for Web Applications.	SAINT	2004	DBLP DOI BibTeX RDF
15	Yoav Zibin, Joseph Gil, Jeffrey Considine	Efficient algorithms for isomorphisms of simple types.	POPL	2003	DBLP DOI BibTeX RDF	first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature
15	Laurent Truffet	Monotone Linear Dynamical Systems over Dioids.	POSTA	2003	DBLP DOI BibTeX RDF
15	Deepak Kapur, Paliath Narendran, Lida Wang	An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation.	RTA	2003	DBLP DOI BibTeX RDF
15	Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak	Logical Relations for Monadic Types.	CSL	2002	DBLP DOI BibTeX RDF	semantics, monads, logical relations, typed lambda-calculus
15	Joseph Gil	Subtyping arithmetical types.	POPL	2001	DBLP DOI BibTeX RDF
15	Alexandre Boudet, Evelyne Contejean	Combining Pattern E-Unification Algorithms.	RTA	2001	DBLP DOI BibTeX RDF
15	Miodrag Potkonjak, Jan M. Rabaey	Maximally and arbitrarily fast implementation of linear andfeedback linear computations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
15	Elena Machkasova, Franklyn A. Turbak	A Calculus for Link-Time Compilation.	ESOP	2000	DBLP DOI BibTeX RDF
15	Jürgen Stuber	Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems.	RTA	2000	DBLP DOI BibTeX RDF
15	Marcel Erné	Z-Continuous Posets and Their Topological Manifestation.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	closure space, completely distributive, continuous poset, sober space, completion, compact, core
15	Peter Buneman, Benjamin C. Pierce	Union Types for Semistructured Data.	DBPL	1999	DBLP DOI BibTeX RDF
15	Julien Zory, Fabien Coelho	Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Algebraic transformation, Fused multiply-add operation, Instruction-Level Parallelism, Expression evaluation
15	Deepak Kapur, G. Sivakumar	Proving Associative-Communicative Termination Using RPO-Compatible Orderings.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
15	Giovanni Sambin, Silvia Gebellato	A Preview of the Basic Picture: A New Perspective on Formal Topology.	TYPES	1998	DBLP DOI BibTeX RDF
15	Bernhard Möller	Idel Stream Algebra.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF
15	Ganesh Lakshminarayana, Niraj K. Jha	FACT: A Framework for the Application of Throughput and Power Optimizing Transformations to Control-Flow Intensive Behavioral Descriptions.	DAC	1998	DBLP DOI BibTeX RDF	high-level synthesis, telecommunication
15	Gianpiero Cabodi, Paolo Camurati	Symbolic FSM traversals based on the transition relation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
15	Deepak Kapur, G. Sivakumar	A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems.	RTA	1997	DBLP DOI BibTeX RDF
15	Keshab K. Parhi	High-level algorithm and architecture transformations for DSP synthesis.	J. VLSI Signal Process.	1995	DBLP DOI BibTeX RDF
15	Enric Pastor, Jordi Cortadella, Oriol Roig	A new look at the conditions for the synthesis of speed-independent circuits.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	gate-level synthesis, gate library constraint, fan-in reduction, VLSI, logic design, logic CAD, integrated circuit design, circuit CAD, integrated logic circuits, circuit optimisation, optimization techniques, speed-independent circuits
15	Arend Rensink	A Complete Theory of Deterministic Event Structures.	CONCUR	1995	DBLP DOI BibTeX RDF
15	Frederico Buchholz Maciel, Yoshikazu Miyanaga, Koji Tochinai	An optimization technique for lowering the iteration bound of DSP programs.	J. VLSI Signal Process.	1993	DBLP DOI BibTeX RDF
15	Evelyne Contejean	A Partial Solution for D-Unification Based on a Reduction to AC1-Unification.	ICALP	1993	DBLP DOI BibTeX RDF
15	Isabelle Gnaedig, Pierre Lescanne	Proving Termination of Associative Commutative Rewriting Systems by Rewriting.	CADE	1986	DBLP DOI BibTeX RDF