Search results for "Commutative"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Joseph A. Ball, Dmitry S. Kaliuzhnyi-Verbovetskyi	Conservative dilations of dissipative multidimensional systems: The commutative and non-commutative settings.	Multidimens. Syst. Signal Process.	2008	DBLP DOI BibTeX RDF
27	Paul Flondor, Ioana Leustean	MV-algebras with operators (the commutative and the non-commutative case).	Discret. Math.	2004	DBLP DOI BibTeX RDF
27	Volker Diekert	Commutative monoids have complete presentations by free (non-commutative) monoids.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
23	Dan P. Piponi	Commutative monads, diagrams and knots.	ICFP	2009	DBLP DOI BibTeX RDF	tensor networks, linear algebra, monads, knot theory
23	Nuno M. Preguiça, Joan Manuel Marquès, Marc Shapiro 0001, Mihai Letia	A Commutative Replicated Data Type for Cooperative Editing.	ICDCS	2009	DBLP DOI BibTeX RDF
23	Andreas Stoffel, Ernesto Tapia, Raúl Rojas 0001	Recognition of On-Line Handwritten Commutative Diagrams.	ICDAR	2009	DBLP DOI BibTeX RDF
23	Jirí Rachunek, Filip Svrcek	Monadic Bounded Commutative Residuated l-monoids.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G25, 06D20, 06D35, 06F05
23	Rogério M. Siqueira, Sueli I. Rodrigues Costa	Flat tori, lattices and bounds for commutative group codes.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	52C17, 52C07, 94B65, 05E20, AMS Classifications 94B60
23	Pawel Parys	Systems of Equations Satisfied in All Commutative Finite Semigroups.	FoSSaCS	2008	DBLP DOI BibTeX RDF
23	Nobuo Nakagawa, Satoshi Yoshiara	A Construction of Differentially 4-Uniform Functions from Commutative Semifields of Characteristic 2.	WAIFI	2007	DBLP DOI BibTeX RDF	Almost perfect nonlinear function, Differentially ?-uniformity, Cubic function of a finite semifield, Absolute trace, Finite field
23	Lila Kari, Kalpana Mahalingam	Watson-Crick Conjugate and Commutative Words.	DNA	2007	DBLP DOI BibTeX RDF
23	Matthew J. Craven	Genetic Algorithms for Word Problems in Partially Commutative Groups.	EvoCOP	2007	DBLP DOI BibTeX RDF
23	Sai Pinnepalli, Jinpyo Hong, J. Ramanujam, Doris L. Carver	Code Size Optimization for Embedded Processors using Commutative Transformations.	RTCSA	2007	DBLP DOI BibTeX RDF
23	Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune	Associative-Commutative Deducibility Constraints.	STACS	2007	DBLP DOI BibTeX RDF
23	Alkiviadis G. Akritas, Gennadi I. Malaschonok	Computations in Modules over Commutative Domains.	CASC	2007	DBLP DOI BibTeX RDF
23	Anatolij Dvurecenskij, Jirí Rachunek	Bounded commutative residuated l-monoids with general comparability and states.	Soft Comput.	2006	DBLP DOI BibTeX RDF	AMS classification: 06D35, 03G25, 28E15, 03B50, 06F05
23	Ioana Leustean	Non-commutative Lukasiewicz propositional logic.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 06D35
23	Marc André Armand	List decoding of generalized Reed-Solomon codes over commutative rings.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
23	Roberto Di Cosmo, François Pottier, Didier Rémy	Subtyping Recursive Types Modulo Associative Commutative Products.	TLCA	2005	DBLP DOI BibTeX RDF
23	Steven D. Galbraith, James F. McKee	Pairings on Elliptic Curves over Finite Commutative Rings.	IMACC	2005	DBLP DOI BibTeX RDF
23	A. Prasad Sistla, Min Zhou	Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.	FORTE	2005	DBLP DOI BibTeX RDF
23	A. Prasad Sistla, Min Zhou, Xiaodong Wang	Model Checking of Systems Employing Commutative Functions.	VMCAI	2005	DBLP DOI BibTeX RDF
23	Andrzej Wronski	The Distance Function in Commutative l-semigroups and the Equivalence in Lukasiewicz Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	Lukasiewicz logic, lattice ordered abelian group, distance function
23	Shing-Chi Cheung, Ho-fung Leung, Changjie Wang	A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents.	HICSS	2004	DBLP DOI BibTeX RDF
23	Jirí Rachunek	Compactness in MV-algebras and in their non-commutative generalizations.	Soft Comput.	2003	DBLP DOI BibTeX RDF	GMV-algebra, Unital ?-group, Compact element, Discrete GMV -algebra, Prime ideal, MV-algebra, Ideal
23	Petr Hájek 0001	Observations on non-commutative fuzzy logic.	Soft Comput.	2003	DBLP DOI BibTeX RDF
23	Mihai Prunescu	Diophantine properties of finite commutative rings.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
23	V. Michele Abrusci	Non Commutative Logic: A Survey.	TABLEAUX	2003	DBLP DOI BibTeX RDF
23	Steven Eker	Associative-Commutative Rewriting on Large Terms.	RTA	2003	DBLP DOI BibTeX RDF
23	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.	FORTE	2003	DBLP DOI BibTeX RDF
23	Raul Cordovil	A Commutative Algebra for Oriented Matroids.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
23	Alessio Guglielmi, Lutz Straßburger	A Non-commutative Extension of MELL.	LPAR	2002	DBLP DOI BibTeX RDF
23	Jirí Srba	Note on the Tableau Technique for Commutative Transition Systems.	FoSSaCS	2002	DBLP DOI BibTeX RDF
23	Jacqueline Castaing	Non-commutative Logic for Hand-Written Character Modeling.	AISC	2002	DBLP DOI BibTeX RDF	Proofs Topics: Foundations and Complexity of Symbolic Computation, Logic and Symbolic Computing, Character Recognition, Linear Logic, Distance Computing
23	Volker Diekert, Anca Muscholl	Solvability of Equations in Free Partially Commutative Groups Is Decidable.	ICALP	2001	DBLP DOI BibTeX RDF
23	Virgile Mogbil	Quadratic Correctness Criterion for Non-commutative Logic.	CSL	2001	DBLP DOI BibTeX RDF
23	Pierre-Etienne Moreau, Hélène Kirchner	A Compiler for Rewrite Programs in Associative-Commutative Theories.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	AC theories, AC many-to-one matching, compilation, rewrite systems
23	Leo Bachmair, Ashish Tiwari 0001	D-Bases for Polynomial Ideals over Commutative Noetherian Rings.	RTA	1997	DBLP DOI BibTeX RDF
23	Paul Ruet, François Fages	Concurrent Constraint Programming and Non-commutative Logic.	CSL	1997	DBLP DOI BibTeX RDF
23	Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch	Automated Verification by Induction with Associative-Commutative Operators.	CAV	1996	DBLP DOI BibTeX RDF
23	Richard I. Hartley, Albert E. Casavant	Optimizing pipelined networks of associative and commutative operators.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
23	Laurent Vigneron	Associative-Commutative Deduction with Constraints.	CADE	1994	DBLP DOI BibTeX RDF
23	Meena Mahajan, V. Vinay	Non-commutative Computation, Depth Reduction, and Skew Circuits (Extended Abstract).	FSTTCS	1994	DBLP DOI BibTeX RDF
23	Leo Bachmair, Ta Chen, I. V. Ramakrishnan	Associative-Commutative Discrimination Nets.	TAPSOFT	1993	DBLP DOI BibTeX RDF
23	Catherine Delor, Laurence Puel	Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols.	RTA	1993	DBLP DOI BibTeX RDF
23	Emmanuel Kounalis, Denis Lugiez	Compilation of Pattern Matching with Associative-Commutative Functions.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
23	Juha Kortelainen	The conjecture of Fliess on commutative context-free languages.	J. ACM	1989	DBLP DOI BibTeX RDF
23	Volker Diekert	Transitive Orientations, Möbius Functions, and Complete Semi-Thue Systems for Free Partially Commutative Monoids.	ICALP	1988	DBLP DOI BibTeX RDF
23	Marek Chrobak, Wojciech Rytter	Unique Deciperability for Partially Commutative Alphabet (Extended Abstract).	MFCS	1986	DBLP DOI BibTeX RDF
23	Isabelle Gnaedig, Pierre Lescanne	Proving Termination of Associative Commutative Rewriting Systems by Rewriting.	CADE	1986	DBLP DOI BibTeX RDF
23	Dima Grigoriev	Multiplicative Complexity of a Bilinear Form over a Commutative Ring.	MFCS	1981	DBLP DOI BibTeX RDF
23	Ondrej Sýkora	A Fast Non-Commutative Algorithm for Matrix Multiplication.	MFCS	1977	DBLP DOI BibTeX RDF
18	Vikraman Arvind, Srikanth Srinivasan 0001	On the hardness of the noncommutative determinant.	STOC	2010	DBLP DOI BibTeX RDF	noncommutative rings, determinant, arithmetic circuits, permanent
18	Lionel Chaussade, Pierre Loidreau, Felix Ulmer	Skew codes of prescribed distance or rank.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 94B60, 12H10, 16S36
18	Paul-André Melliès, Nicolas Tabareau, Christine Tasson	An Explicit Formula for the Free Exponential Modality of Linear Logic.	ICALP (2)	2009	DBLP DOI BibTeX RDF
18	Jirí Rachunek, Dana Salounová	Monadic GMV-algebras.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 06F15, 06D35, 06F05
18	Paolo Baldan, Fabio Gadducci	Petri Nets Are Dioids.	AMAST	2008	DBLP DOI BibTeX RDF
18	Michelle L. Knox, Warren Wm. McGovern	Feebly Projectable Algebraic Frames and Multiplicative Filters of Ideals.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D22, 13F99
18	Guobiao Weng, Weisheng Qiu, Zeying Wang, Qing Xiang	Pseudo-Paley graphs and skew Hadamard difference sets from presemifields.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	17A35, 05B25, AMS Classifications 05B10
18	Wenjun Xiao, Behrooz Parhami	A Group Construction Method with Applications to Deriving Pruned Interconnection Networks.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	geometric group theory, parallel processor architecture, pruning scheme, VLSI realization, distributed system, interconnection network, Cayley graph, network diameter, Algebraic structure
18	Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna	Basic Hoops: an Algebraic Study of Continuous t -norms.	Stud Logica	2007	DBLP DOI BibTeX RDF	basic hoops, continuous t-norms, subreducts of BL-algebras
18	Félix Bou, Àngel García-Cerdaña, Ventura Verdú	On two fragments with negation and without implication of the logic of residuated lattices.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B47, 03F99, 06D15, 06B99, 03B50
18	Andreas Maletti	Hierarchies of Tree Series Transformations Revisited.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
18	Sang-Hun Lee, Kunwoo Lee, Sungchan Kim	History-Based Selective Boolean Operations for Feature-Based Multi-resolution Modeling.	ICCSA (1)	2006	DBLP DOI BibTeX RDF
18	Michael G. Lamoureux, Bradford G. Nickerson	A deterministic skip list for k-dimensional range search.	Acta Informatica	2005	DBLP DOI BibTeX RDF
18	Manfred Droste, Paul Gastin	Weighted Automata and Weighted Logics.	ICALP	2005	DBLP DOI BibTeX RDF
18	Matei David, Alex Brodsky, Faith Ellen Fich	Restricted Stack Implementations.	DISC	2005	DBLP DOI BibTeX RDF
18	Alexandre Yakovlev	A Multi-version Data Model and Semantic-Based Transaction Processing Protocol.	ADBIS	2005	DBLP DOI BibTeX RDF
18	Steve Chien, Alistair Sinclair	Algebras with Polynomial Identities and Computing the Determinant.	FOCS	2004	DBLP DOI BibTeX RDF
18	Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell 0001	Duality for Labelled Markov Processes.	FoSSaCS	2004	DBLP DOI BibTeX RDF
18	Bernard Helmstetter, Tristan Cazenave	Incremental Transpositions.	Computers and Games	2004	DBLP DOI BibTeX RDF
18	Jordi Castellà-Roca, Josep Domingo-Ferrer	On the Security of an Efficient TTP-Free Mental Poker Protocol.	ITCC (2)	2004	DBLP DOI BibTeX RDF	E-gambling, Cryptographic protocols without Trusted Third Party (TTP), Mental poker
18	Christopher Lynch, Catherine Meadows 0001	Sound Approximations to Diffie-Hellman Using Rewrite Rules.	ICICS	2004	DBLP DOI BibTeX RDF
18	David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický	On Quantales and Spectra of C*-Algebras.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	noncommutative space, C*-algebra, noncommutative spectrum, spatial quantale
18	S. H. Schmieta, Farid Alizadeh	Extension of primal-dual interior point algorithms to symmetric cones.	Math. Program.	2003	DBLP DOI BibTeX RDF
18	Kumar Neeraj Verma	On Closure under Complementation of Equational Tree Automata for Theories Extending AC.	LPAR	2003	DBLP DOI BibTeX RDF
18	Paul Wu, Alan D. Fekete	An Empirical Study of Commutativity in Application Code.	IDEAS	2003	DBLP DOI BibTeX RDF
18	Cyril Allauzen, Mehryar Mohri	An Efficient Pre-determinization Algorithm.	CIAA	2003	DBLP DOI BibTeX RDF
18	Björn Borchardt	The Myhill-Nerode Theorem for Recognizable Tree Series.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
18	Kumar Neeraj Verma	Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties.	RTA	2003	DBLP DOI BibTeX RDF
18	Katarina Britz, Johannes Heidema	Semiring-Valued Satisfiability.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
18	Elizabeth L. Mansfield, Ágnes Szántó	Elimination theory for differential difference polynomials.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner basis, differential polynomial, ore algebra, difference equation
18	Wolfgang W. Bein, Peter Brucker, Lawrence L. Larmore, James K. Park	Fast Algorithms with Algebraic Monge Properties.	MFCS	2002	DBLP DOI BibTeX RDF
18	Steve Chien, Lars Eilstrup Rasmussen, Alistair Sinclair	Clifford algebras and approximating the permanent.	STOC	2002	DBLP DOI BibTeX RDF
18	Akira Suzuki, Yosuke Sato	An alternative approach to comprehensive Gröbner bases.	ISSAC	2002	DBLP DOI BibTeX RDF
18	Shi-Min Hu 0001, Hui Zhang 0013, Chiew-Lan Tai, Jia-Guang Sun 0001	Direct manipulation of FFD: efficient explicit solutions and decomposible multiple point constraints.	Vis. Comput.	2001	DBLP DOI BibTeX RDF	Animation, Geometric modeling, Deformations
18	Ruvim Lipyanski	Pythagorean Triples in Unification Theory of Nilpotent Rings.	FCT	2001	DBLP DOI BibTeX RDF
18	Jürgen Stuber	Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems.	RTA	2000	DBLP DOI BibTeX RDF
18	Deepak Kapur, G. Sivakumar	Proving Associative-Communicative Termination Using RPO-Compatible Orderings.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
18	Jean-François Raymond, Pascal Tesson, Denis Thérien	An Algebraic Approach to Communication Complexity.	ICALP	1998	DBLP DOI BibTeX RDF
18	Albert Benveniste, Claude Jard, Stephane Gaubert	Algebraic Techniques for Timed Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
18	Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez	Algorithms and Reductions for Rewriting Problems.	RTA	1998	DBLP DOI BibTeX RDF
18	Miki Hermann, Phokion G. Kolaitis	Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract).	MFCS	1995	DBLP DOI BibTeX RDF
18	Franz Baader, Klaus U. Schulz	Combination Techniques and Decision Problems for Disunification.	RTA	1993	DBLP DOI BibTeX RDF
18	Joachim Apel, Uwe Klaus	Data Representation and In-built Compilation in the Computer Algebra Program FELIX.	DISCO	1992	DBLP DOI BibTeX RDF
18	C. Faure	A Meta Simplifier.	ISSAC	1990	DBLP DOI BibTeX RDF
18	Mike Lai	On How To Move Mountains 'Associatively and Commutatively'.	RTA	1989	DBLP DOI BibTeX RDF
18	Ren-ji Tao	Invertibility of Linear Finite Automata Over a Ring.	ICALP	1988	DBLP DOI BibTeX RDF
18	Volker Diekert	On the Knuth-Bendix Completion for Concurrent Processes.	ICALP	1987	DBLP DOI BibTeX RDF
18	Volker Weispfenning	Some Bounds for the Construction of Gröbner Bases.	AAECC	1986	DBLP DOI BibTeX RDF