The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for commutative with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1960-1973 (16) 1974-1979 (18) 1980-1982 (16) 1983-1984 (16) 1985-1986 (34) 1987-1988 (22) 1989 (17) 1990 (33) 1991 (28) 1992 (22) 1993 (28) 1994 (24) 1995 (19) 1996 (22) 1997 (33) 1998 (26) 1999 (24) 2000 (28) 2001 (45) 2002 (31) 2003 (61) 2004 (59) 2005 (52) 2006 (59) 2007 (71) 2008 (67) 2009 (64) 2010 (57) 2011 (43) 2012 (54) 2013 (44) 2014 (46) 2015 (51) 2016 (65) 2017 (69) 2018 (70) 2019 (61) 2020 (53) 2021 (70) 2022 (75) 2023 (77) 2024 (21)
Publication types (Num. hits)
article(1046) book(4) incollection(11) inproceedings(717) phdthesis(13)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 475 occurrences of 363 keywords

Results
Found 1791 publication records. Showing 1791 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
124Pavel Hrubes, Avi Wigderson, Amir Yehudayoff Non-commutative circuits and the sum-of-squares problem. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF lower bounds, algebraic complexity
87Vikram Jha Local Schur's Lemma and Commutative Semifields. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Schur’s lemma, semifields, translation planes, nets
87Shiguo Lian Quasi-commutative watermarking and encryption for secure media content distribution. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Commutative watermarking and encryption (CWE), Watermarking, Digital rights management (DRM), Video encryption
78Robert S. Coulter, Marie Henderson, Pamela Kosick Planar polynomials for commutative semifields with specified nuclei. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF AMS Classifications 11T06, 12K10
78Franz Baader, Werner Nutt Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Equational unification, Semiadditive categories, Semirings, Equational theories
78P. J. Abisha, D. Gnanaraj Thomas, K. G. Subramanian 0001 Public Key Cryptosystems Based on Free Partially Commutative Monoids and Groups. Search on Bibsonomy INDOCRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Finitely Presented Groups, Free Partially Commutative Monoids, Thue Systems, Public Key Cryptosystem, Word Problem, Zero Knowledge Protocol
78George Georgescu, Andrei Popescu 0001 Non-commutative fuzzy Galois connections. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation
73Dan Benanav, Deepak Kapur, Paliath Narendran Complexity of Matching Problems. Search on Bibsonomy RTA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF Associative-Commutative, NP-Completeness, Matching, Associative, Commutative
69Abdelilah Kandri-Rody, Deepak Kapur, Paliath Narendran An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras. Search on Bibsonomy RTA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF Unification Problem, Finitely Presented Algebras, Commutative Algebras, Gröbner Basis, Knuth-Bendix Completion Procedure, Term Rewriting, Word Problem, Polynomial Ideals
68Katarzyna Matczak, Anna B. Romanowska Quasivarieties of cancellative commutative binary modes. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF subreducts, affine spaces, commutative quasigroup modes, commutative binary modes, modes, quasivarieties
59Eunjin Kim, Ladislav J. Kohout Non-commutative System of Fuzzy Interval Logic Generated by the Checklist Paradigm Measure m 3 Containing Early Zadeh Implication. Search on Bibsonomy IFSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Mikolaj Bojanczyk, Piotr Hoffman Reachability in Unions of Commutative Rewriting Systems Is Decidable. Search on Bibsonomy STACS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Topic classification Logic in computer science, rewriting
55Farhana Aleen, Nathan Clark Commutativity analysis for software parallelization: letting program transformations see the big picture. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF automatic software parallelization, commutative functions, random interpretation
55Mark G. Karpovsky Error Detection in Digital Devices and Computer Programs with the Aid of Linear Recurrent Equations Over Finite Commutativs Groups. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1977 DBLP  DOI  BibTeX  RDF Error detection for, digital devices and computer programs, error detection tests for digital devices, characters of commutative groups, Fourier transform over finite commutative groups, spectral and autocorrelation functions over finite commutative groups, fast Hadamard-Walsh transform
55David A. Basin Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
50Hai Liu 0012, Eric Cheng, Paul Hudak Causal commutative arrows and their optimization. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
50Volker Diekert, Markus Lohrey, Alexander Miller Partially Commutative Inverse Monoids. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
50Jesper Larsson Träff An Improved Algorithm for (Non-commutative) Reduce-Scatter with an Application. Search on Bibsonomy PVM/MPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
50Jean-Marc Andreoli, Roberto Maieli Fucusing and Proof-Nets in Linear and Non-commutative Logic. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
50Mark W. Hopkins, Dexter Kozen Parikh's Theorem in Commutative Kleene Algebra. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF formal methods, Kleene algebra, universal algebra, logics of programs
50Jean-Michel Couvreur, Javier Martínez Linear invariants in commutative high level nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Linear invariants, flow computation, structural analysis methods, subclasses of Petri nets, colored nets
50Patrick Lincoln, Jim Christian Adventures in Associative-Commutative Unification (A Summary). Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
50François Fages Associative-Commutative Unification. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
50Esfandiar Eslami, Hamid Khosravi, Faramarz Sadeghi Very and more or less in non-commutative fuzzy logic. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF L-fuzzy modifier, Very, More or less, Non-commutative fuzzy logic, Pseudo-BL algebra, Linguistic hedges
50Anatolij Dvurecenskij, Maria Gabriella Graziano Dedekind Complete Commutative BCK-algebras. Search on Bibsonomy Order The full citation details ... 2000 DBLP  DOI  BibTeX  RDF atomic BCK-algebra, commutative BCK-algebra, Dedekind complete BCK-algebra, relative cancellation property, subdirect product, universal group
50Christoph Schneider, Joachim Wehler Petri Net Theory - Problems Solved by Commutative Algebra. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Artin net, commutative net, Gröbner theory, Coloured Petri net, flow, reachability
50Emmanuel Kounalis, Denis Lugiez, Loic Pottier A Solution of the Complement Problem in Associative-Commutative Theories. Search on Bibsonomy MFCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF The Subsumption Lattice of First-Order terms, Associative and Commutative Reasoning, AC-Disunification, Pattern-Matching, Inductive Learning, Sufficient-Completeness
46Bruno Salvy D-finiteness: algorithms and applications. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF creative telescoping, computer algebra, linear recurrences, elimination, linear differential equations
46Peter Jipsen A Note on Complex Algebras of Semigroups. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Michal Botur, Ivan Chajda, Radomír Halas Are basic algebras residuated structures? Search on Bibsonomy Soft Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice
46Marie-Renée Fleury, Myriam Quatrini A Mixed lambda-calculus. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Typed ?-calculus, non-commutative linear logic, order varieties, series-parallel orders, normalization
46Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir Axiomatizing Tropical Semirings. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF relative axiomatizations, commutative idempotent weak semirings, tropical semirings, exponential time complexity, convexity, varieties, Equational logic, complete axiomatizations
45José Carlos Rosales, Pedro A. García-Sánchez, Juan Ignacio García-García How to check if a finitely generated commutative monoid is a principal ideal commutative monoid. Search on Bibsonomy ISSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
41Antonio Cano Gómez, Gloria Inés Alvarez Learning Commutative Regular Languages. Search on Bibsonomy ICGI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Javier Esparza, Stefan Kiefer, Michael Luttenberger On Fixed Point Equations over Commutative Semirings. Search on Bibsonomy STACS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Didier Galmiche, J.-M. Notin Connection-Based Proof Construction in Non-commutative Logic. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Arkadev Chattopadhyay, Denis Thérien Locally Commutative Categories. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Ivan Korec Undecidable Problems Concerning Generalized Pascal Triangles of Commutative Algebras. Search on Bibsonomy MFCS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
41Afrodita Iorgulescu Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices. Search on Bibsonomy Soft Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Pseudo-Wajsberg algebra, Pseudo-BCK algebra, Pseudo-Hájek(pP) algebra, Divisible bounded non-commutative residuated lattice, Divisible bounded pseudo-BCK(pP) lattice, Pseudo-MV algebra, Pseudo-BL algebra
41Matthew J. Craven An Evolutionary Algorithm for the Solution of Two-Variable Word Equations in Partially Commutative Groups. Search on Bibsonomy Recent Advances in Evolutionary Computation for Combinatorial Optimization The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Infinite Group, Partially Commutative, Semi-deterministic, Evolutionary Algorithm
41Hae Young Lee, Tae Ho Cho Fuzzy Security Parameter Determining Method for the Commutative Cipher Based Filtering in Sensor Networks. Search on Bibsonomy ICCSA (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF false data injection attacks, commutative cipher, Wireless sensor networks, fuzzy logic, en-route filtering
41Viktor Levandovskyy Intersection of ideals with non-commutative subalgebras. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF homomorphism of algebras, intersection with subalgebra, non-commutative algebra, preimage of ideal, restriction, elimination, Groebner bases
41Françoise Levy-dit-Vehel, Ludovic Perret Attacks on Public Key Cryptosystems Based on Free Partially Commutative Monoids and Groups. Search on Bibsonomy INDOCRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Thue Systems, Finitely Presented Groups, Free Partially Commutative Monoids, Homomorphic Mappings, Word Problem, Public Key Cryptanalysis
41Stefan Hoffmann 0001 State Complexity Investigations on Commutative Languages - The Upward and Downward Closure, Commutative Aperiodic and Commutative Group Languages. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
41Stefan Hoffmann 0001 State Complexity Investigations on Commutative Languages - the Upward and Downward Closure, Commutative Aperiodic and Commutative Group Languages. Search on Bibsonomy DCFS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
37Eric A. Brewer A certain freedom: thoughts on the CAP theorem. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cap theorem
37Éric Badouel, Jules Chenou, Goulven Guillou Petri Algebras. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Evelyne Contejean A Certified AC Matching Algorithm. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Z. Arvasi, U. Ege Annihilators, Multipliers and Crossed Modules. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multiplication algebra, actor crossed module, crossed square
37Hua Xiang 0001, Haoxing Ren, Louise Trevillyan, Lakshmi N. Reddy, Ruchir Puri, Minsik Cho Logical and physical restructuring of fan-in trees. Search on Bibsonomy ISPD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF symmetric-function fan-in tree, restructure, commutative
37Lilya Budaghyan, Tor Helleseth New Perfect Nonlinear Multinomials over Ffor Any Odd Prime p. Search on Bibsonomy SETA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Commutative semifield, Equivalence of functions, Perfect nonlinear, Planar function
37Hennie Poulisse Computational communicative algebra. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF approximate commutative algebra
37Leo Bachmair, Ashish Tiwari 0001, Laurent Vigneron Abstract Congruence Closure. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF congruence closure, associative-commutative theories, term rewriting
37Ki Hyoung Ko, Sangjin Lee, Jung Hee Cheon, Jae Woo Han, Ju-Sung Kang, Choonsik Park New Public-Key Cryptosystem Using Braid Groups. Search on Bibsonomy CRYPTO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF hard problem, non-commutative group, public key cryptosystem, public key infrastructure, key exchange, one-way function, braid group, conjugacy problem
36Young Jun, Jong Youl Kim, Hee Kim On Q-Upper Algebras. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF upper set, Q-upper algebra, (positive) implicative, quasi-commutative, commutative, BCK-algebra
32Jürgen Bierbrauer New Commutative Semifields and Their Nuclei. Search on Bibsonomy AAECC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF PN functions, planar functions, presemifields, semifields, middle nucleus, Dembowski-Ostrom polynomial, strong isotopy, kernel, isotopy
32Daniel Kirsten The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota 0001 Partially-Commutative Context-Free Processes. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Makoto Tatsuta Non-Commutative First-Order Sequent Calculus. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Vikraman Arvind, Partha Mukhopadhyay, Srikanth Srinivasan 0001 New Results on Noncommutative and Commutative Polynomial Identity Testing. Search on Bibsonomy CCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF randomized, polynomial time, deterministic, polynomial identity testing
32Michal Botur, Radomír Halas Complete Commutative Basic Algebras. Search on Bibsonomy Order The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 06D35, 06F35, 03G10
32Shiguo Lian, Zhongxuan Liu, Zhen Ren, Haila Wang Commutative Encryption and Watermarking in Video Compression. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Viktor Levandovskyy Plural, a Non-commutative Extension of Singular: Past, Present and Future. Search on Bibsonomy ICMS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Anna Maria Bigatti, Lorenzo Robbiano CoCoA: a system for computations in commutative algebra. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Ran Raz, Amir Shpilka Deterministic polynomial identity testing in non-commutative models. Search on Bibsonomy Comput. Complex. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF 68Q25, Subject classification
32Hao Yang 0004, Songwu Lu Commutative cipher based en-route filtering in wireless sensor networks. Search on Bibsonomy VTC Fall (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Ran Raz, Amir Shpilka Deterministic Polynomial Identity Testing in Non-Commutative Models. Search on Bibsonomy CCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Roberto Maieli A new correctness criterion for multiplicative non-commutative proof nets. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Yves Métivier, Gwénaël Richomme On the Star Operation and the Finite Power Property in Free Partially Commutative Monoids (Extended Abstract). Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF trace monoids, finite power property, recognizability
32Paliath Narendran, Michaël Rusinowitch Any Gound Associative-Commutative Theory Has a Finite Canonical System. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
32James H. Davenport, Barry M. Trager Scratchpad's View of Algebra I: Basic Commutative Algebra. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
32Tatsuaki Okamoto, Kazuo Ohta Divertible Zero Knowledge Interactive Proofs and Commutative Random Self-Reducibility. Search on Bibsonomy EUROCRYPT The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
32Christine Duboc Equations in Free Partially Commutative Monoids. Search on Bibsonomy STACS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
32Jin-yi Cai, Richard J. Lipton, Yechezkel Zalcstein The Complexity of the Membership Problem for 2-generated Commutative Semigroups of Rational Matrices Search on Bibsonomy FOCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF polynomial-sized encoding, membership problem complexity, 2-generated commutative semigroups, rational matrices, deterministic polynomial-time algorithm, ABC problem, 2-generated abelian linear groups, polynomial time algorithm, algebraic number field
28Vikraman Arvind, Partha Mukhopadhyay Derandomizing the Isolation Lemma and Lower Bounds for Circuit Size. Search on Bibsonomy APPROX-RANDOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Andreas Maletti Myhill-Nerode Theorem for Recognizable Tree Series Revisited. Search on Bibsonomy LATIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Rachid El Harti, Gábor Lukács Bounded and Unitary Elements in Pro-C*-algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 18A05, 46H05, 46J05, 46K05
28Tony T. Lee, Terry Y. Lo, Jianfang Wang An information-lossless decomposition theory of relational information systems. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Jordi Castellà-Roca, Josep Domingo-Ferrer, Francesc Sebé On the Security of a Repaired Mental Poker Protocol. Search on Bibsonomy ITNG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Cryptanalysis, Security protocols, Mental poker
28Alkiviadis G. Akritas, Gennadi I. Malaschonok Computation of the Adjoint Matrix. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001 Comparison Maps for Relatively Free Resolutions. Search on Bibsonomy CASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28David A. Wagner 0001 Towards a Unifying View of Block Cipher Cryptanalysis. Search on Bibsonomy FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Saskia Janssens, Bernard De Baets, Hans E. De Meyer Inequalities in Fuzzy Probability Calculus. Search on Bibsonomy IFSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28L. Habert, J.-M. Notin, Didier Galmiche LINK: A Proof Environment Based on Proof Nets. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Alexander V. Shafarenko A symmetry-based formalism for array subtyping. Search on Bibsonomy ACM SIGAPL APL Quote Quad The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Tony W. Lai, Derick Wood A Relationship Between Self-Organizing Lists and Binary Search Trees. Search on Bibsonomy ICCI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Yun Shang Ring-like structures corresponding to pseudo MV-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Non-commutative pseudorings, Strong pseudo De Morgan algebras, Pseudo MV-algebras
27Moez Waddey, Pascal Poncelet, Sadok Ben Yahia A novel approach for privacy mining of generic basic association rules. Search on Bibsonomy CIKM-PAVLAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF commutative encryption, data mining, association rules mining, privacy preserving
27Alexandru Mihai Bica Algebraic structures for fuzzy numbers from categorial point of view. Search on Bibsonomy Soft Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Commutative monoid, Involutive automorphism, Fuzzy numbers
27Nikita Borisov, Kazuhiro Minami Single-bit re-encryption with applications to distributed proof systems. Search on Bibsonomy WPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF commutative encryption, distributed proof systems, goldwasser-micali, covert channels, re-encryption
27Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi Towards automatic parallelization of tree reductions in dynamic programming. Search on Bibsonomy SPAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF commutative semiring, parallel tree contraction, parallel programming, dynamic programming, code generator, tree
27Arthur Charlesworth The undecidability of associativity and commutativity analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive
27Patrik Nordbeck On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Non-commutative algebras, Gröbner bases, Dickson's lemma, Noetherianity, Syzygies
27Alfred P. Maneki Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models. Search on Bibsonomy CSFW The full citation details ... 1995 DBLP  DOI  BibTeX  RDF trace models, associative laws, commutative laws, containment relationships, information systems, information systems, security of data, security properties, event systems, system composition, algebraic properties
27Carme Àlvarez, José L. Balcázar, Joaquim Gabarró, Miklos Santha Parallel Complexity in the Design and Analysis on Conurrent Systems. Search on Bibsonomy PARLE (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF partially commutative monoids, PRAM algorithms, Petri nets, CCS, boolean circuits, P-completeness
27Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
27Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov A Logical Framework with Commutative and Non-commutative Subexponentials. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Vsevolod Gubarev Universal Enveloping Commutative Rota-Baxter Algebras of Pre- and Post-Commutative Algebras. Search on Bibsonomy Axioms The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Harry Dym, J. William Helton, Caleb Meier Non-Commutative Representations of families of K2 Commutative polynomials in 2K2 Commuting Variables. Search on Bibsonomy Int. J. Algebra Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
27Cezary Z. Janikow, John W. Aleshunas Impact of commutative and non-commutative functions on symbolic regression with ACGP. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1791 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license