Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Chris Berg, Nantel Bergeron, Franco Saliola, Luis Serrano, Mike Zabrocki |
Multiplicative structures of the immaculate basis of non-commutative symmetric functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 152, pp. 10-44, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Wenwen Zong, Yong Su, Huawen Liu, Bernard De Baets |
On the Construction of Associative, Commutative and Increasing Operations by Paving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGOP ![In: Aggregation Functions in Theory and in Practice, 9th International Summer School on Aggregation Functions, Skövde, Sweden, 19-22 June 2017, pp. 229-240, 2017, Springer, 978-3-319-59305-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Karin Cvetko-Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Benjamin Blundell |
Non-commutative Logic for Compositional Distributional Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 110-124, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Gábor Ivanyos, Youming Qiao, K. V. Subrahmanyam 0001 |
Constructive Non-Commutative Rank Computation Is in Deterministic Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: 8th Innovations in Theoretical Computer Science Conference, ITCS 2017, January 9-11, 2017, Berkeley, CA, USA, pp. 55:1-55:19, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-029-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Fahim, Viveck R. Cadambe |
Linear network coding for two-unicast-Z networks: A commutative algebraic perspective and fundamental limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: 2017 IEEE International Symposium on Information Theory, ISIT 2017, Aachen, Germany, June 25-30, 2017, pp. 1177-1181, 2017, IEEE, 978-1-5090-4096-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Sam Staton |
Commutative Semantics for Probabilistic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 855-879, 2017, Springer, 978-3-662-54433-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Guillaume Lagarde, Nutan Limaye, Srikanth Srinivasan 0001 |
Lower Bounds and PIT for Non-Commutative Arithmetic Circuits with Restricted Parse Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, pp. 41:1-41:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-046-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Wen Ouyang, Chang-Wu Yu 0001, Pei-Ju Huang, Huai-Tse Chang |
Non-commutative path planning for tours with diversified attractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCT ![In: Sixth International Conference on Future Generation Communication Technologies, FGCT 2017, Dublin, Ireland, August 21-23, 2017, pp. 1-5, 2017, IEEE, 978-1-5090-6745-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Vignesh Balaji, Dhruva Tirumala, Brandon Lucia |
POSTER: An Architecture and Programming Model for Accelerating Parallel Commutative Computations via Privatization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Austin, TX, USA, February 4-8, 2017, pp. 431-432, 2017, ACM, 978-1-4503-4493-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Markus Bläser, Gorav Jindal, Anurag Pandey 0001 |
Greedy Strikes Again: A Deterministic PTAS for Commutative Rank of Matrix Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 32nd Computational Complexity Conference, CCC 2017, July 6-9, 2017, Riga, Latvia, pp. 33:1-33:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-040-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Vladislav V. Podymov |
An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 147(2-3), pp. 315-336, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Kamal El-Saady |
A non-commutative approach to uniform structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 31(1), pp. 217-225, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Mrinal C. Kalita, Helen K. Saikia |
Singular fuzzy ideals of commutative rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 30(6), pp. 3543-3549, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Stephen M. Gagola III, Joanne L. Hall |
Constructing commutative semifields of square order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Math. Commun. ![In: Adv. Math. Commun. 10(2), pp. 291-306, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Christopher O'Neill, Vadim Ponomarenko, Reuben Tate, Gautam Webb |
On the set of catenary degrees of finitely generated cancellative commutative monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 26(3), pp. 565-576, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hiroaki Taniguchi |
Bilinear dual hyperovals from binary commutative presemifields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 42, pp. 93-101, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yotsanan Meemark, Songpon Sriwongsa |
Orthogonal graphs over finite commutative rings of odd characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 40, pp. 26-45, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Victor Duy Phan |
Commutative Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 25(1), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Aleks Kissinger, David Quick |
Tensors, !-graphs, and Non-commutative Quantum Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 34(1-2), pp. 87-123, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Steven T. Dougherty, André Leroy |
Euclidean self-dual codes over non-commutative Frobenius rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 27(3), pp. 185-203, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yangjiang Wei, Guangwu Xu, Yi Ming Zou |
Dynamics of linear systems over finite commutative rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 27(6), pp. 469-479, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Nutan Limaye, Guillaume Malod, Srikanth Srinivasan 0001 |
Lower Bounds for Non-Commutative Skew Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. ![In: Theory Comput. 12(1), pp. 1-38, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yu Kawano, Toshiyuki Ohtsuka |
Commutative algebraic methods for controllability of discrete-time polynomial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 89(2), pp. 343-351, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Sheng Chen, Yunbo Tian |
On T-Sylvester equations over commutative rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 353(5), pp. 1102-1108, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ricky Ini Liu |
On the commutative quotient of Fomin-Kirillov algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 54, pp. 65-75, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | David E. Dobbs |
On the Commutative Rings with At Most Two Proper Subrings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2016, pp. 6912360:1-6912360:13, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Theocharis Theofanidis |
Real Hypersurfaces of Nonflat Complex Projective Planes Whose Jacobi Structure Operator Satisfies a Generalized Commutative Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2016, pp. 3089298:1-3089298:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | T. Tamizh Chelvam, Thangaraj Asir |
Distances in zero-divisor and total graphs from commutative rings-A survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AKCE Int. J. Graphs Comb. ![In: AKCE Int. J. Graphs Comb. 13(3), pp. 290-298, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Guillaume Lagarde, Guillaume Malod, Sylvain Perifel |
Non-commutative computations: lower bounds and polynomial identity testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR16, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Rohit Gurjar, Arpita Korwar, Nitin Saxena 0001 |
Identity Testing for constant-width, and commutative, read-once oblivious ABPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR16, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Markus Bläser, Gorav Jindal, Anurag Pandey 0001 |
Greedy Strikes Again: A Deterministic PTAS for Commutative Rank of Matrix Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR16, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Pranjali Sharma, Mukti Acharya |
Balanced Signed Total Graphs of Commutative Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 32(4), pp. 1585-1597, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Antoni Torrens |
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 104(5), pp. 849-867, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Dan Stahlke |
Quantum Zero-Error Source-Channel Coding and Non-Commutative Graph Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 62(1), pp. 554-577, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Joseph Connelly, Kenneth Zeger |
Linear Network Coding over Rings, Part II: Vector Codes and Non-Commutative Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.01737, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Volker Diekert, Artur Jez, Manfred Kufleitner |
Solutions of Word Equations over Partially Commutative Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.02966, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Joseph Connelly, Kenneth Zeger |
Linear Network Coding over Rings, Part I: Scalar Codes and Commutative Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.01738, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai |
Anti-commutative Dual Complex Numbers and 2D Rigid Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.01754, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | |
Finite Commutative Rings with a Sum-Zero Character. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.02870, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Rohit Gurjar, Arpita Korwar, Nitin Saxena 0001 |
Identity Testing for constant-width, and commutative, read-once oblivious ABPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.08031, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Qi Cheng 0001, Jincheng Zhuang |
LWE from Non-commutative Group Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.06670, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Mario Berta, Volkher B. Scholz, Marco Tomamichel |
Rényi divergences as weighted non-commutative vector valued $L_p$-spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.05317, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu |
Private Names in Non-Commutative Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.06043, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Thomas Westerbäck |
Parity check systems of nonlinear codes over finite commutative Frobenius rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.06996, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Zhen Ming Ma, Wei Yang 0036 |
Hybrid generalized Bosbach and Rie c̆ an states on non-commutative residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 45(6), pp. 711-733, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Francisco José Valverde Albacete, Carmen Peláez-Moreno |
The spectra of reducible matrices over complete commutative idempotent semifields and their spectral lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 45(2), pp. 86-115, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Zoran Z. Petrovic, Zoran S. Pucanovic |
The Line Graph Associated To The Total Graph Of A Commutative Ring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 127, pp. 185-195, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Pranjali, Atul Gaur, Mukti Acharya |
풞-Consistency in signed total graphs of commutative rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Algorithms Appl. ![In: Discret. Math. Algorithms Appl. 8(3), pp. 1650041:1-1650041:14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | A. Alilou, Jafar Amjadi, Seyed Mahmoud Sheikholeslami |
A new graph associated to a commutative ring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Algorithms Appl. ![In: Discret. Math. Algorithms Appl. 8(2), pp. 1650029:1-1650029:13, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | S. Visweswaran, Patat Sarman |
On the complement of a graph associated with the set of all nonzero annihilating ideals of a commutative ring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Algorithms Appl. ![In: Discret. Math. Algorithms Appl. 8(3), pp. 1650043:1-1650043:22, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Albert Kadji, Célestin Lélé, Jean B. Nganou |
A non-commutative generalization of Łukasiewicz rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 16, pp. 1-13, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Wolfgang Rump |
Multi-posets in algebraic logic, group theory, and non-commutative topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 167(11), pp. 1139-1160, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jan Krnávek, Jan Kühr |
On non-associative generalizations of MV-algebras and lattice-ordered commutative loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 289, pp. 122-136, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Martin Dyba, Moataz El-Zekey, Vilém Novák |
Non-commutative first-order EQ-logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 292, pp. 215-241, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Qi Cheng 0001, Jincheng Zhuang |
LWE from Non-commutative Group Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 1169, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro 0001 |
An isomorphism test for modules over a non-commutative PID. Applications to similarity of Ore polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 75, pp. 149-170, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Emerson G. Escolar, Yasuaki Hiraoka |
Persistence Modules on Commutative Ladders of Finite Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 55(1), pp. 100-157, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Revantha Ramanayake |
Non-commutative classical arithmetical sequent calculi are intuitionistic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 24(3), pp. 441-452, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Michael Luttenberger, Maximilian Schlund |
Convergence of Newton's Method over Commutative Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 246, pp. 43-61, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Zhiwei Sun, Jiwu Huang, Ping Wang 0005 |
Efficient multiparty quantum key agreement protocol based on commutative encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 15(5), pp. 2101-2111, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Wenbing Zhao 0001, Mamdouh Babi, William Yang, Xiong Luo, Yueqin Zhu, Jack Y. Yang, Chaomin Luo, Mary Yang |
Byzantine fault tolerance for collaborative editing with commutative operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2016 IEEE International Conference on Electro Information Technology, EIT 2016, Grand Forks, ND, USA, May 19-21, 2016, pp. 246-251, 2016, IEEE, 978-1-4673-9985-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jianming Liu, Wenjuan Chen |
A non-commutative generalization of quasi-MV algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 2016 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2016, Vancouver, BC, Canada, July 24-29, 2016, pp. 122-126, 2016, IEEE, 978-1-5090-0626-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ankit Garg, Leonid Gurvits, Rafael Mendes de Oliveira, Avi Wigderson |
A Deterministic Polynomial Time Algorithm for Non-commutative Rational Identity Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: IEEE 57th Annual Symposium on Foundations of Computer Science, FOCS 2016, 9-11 October 2016, Hyatt Regency, New Brunswick, New Jersey, USA, pp. 109-117, 2016, IEEE Computer Society, 978-1-5090-3933-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Volker Diekert, Artur Jez, Manfred Kufleitner |
Solutions of Word Equations Over Partially Commutative Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, pp. 127:1-127:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-013-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Xin Wang 0022, Runyao Duan |
On the quantum no-signalling assisted zero-error classical simulation cost of non-commutative bipartite graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2016, Barcelona, Spain, July 10-15, 2016, pp. 2244-2248, 2016, IEEE, 978-1-5090-1806-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | L. Narendra Mohan, G. S. G. N. Anjaneyulu |
A Secured Digital Signature Using Conjugacy and DLP on Non-commutative Group over Finite Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICTA (2) ![In: Proceedings of the 5th International Conference on Frontiers in Intelligent Computing: Theory and Applications - FICTA 2016, Bhubaneswar, Odisa, India, Volume 2, pp. 457-465, 2016, Springer, 978-981-10-3155-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Xiaohong Zhang 0001, Qiuyan Zhan, Xueping Wang 0001 |
Non-commutative hyper residuated lattices and hyper pseudo-BCK algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC-FSKD ![In: 12th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery, ICNC-FSKD 2016, Changsha, China, August 13-15, 2016, pp. 2277-2282, 2016, IEEE, 978-1-5090-4093-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Patrik Eklund, Ulrich Höhle, Jari Kortelainen |
Non-commutative Quantales for Many-Valuedness in Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (1) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I, pp. 437-449, 2016, Springer, 978-3-319-40595-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Christoph Haase, Piotr Hofman |
Tightening the Complexity of Equivalence Problems for Commutative Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France, pp. 41:1-41:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-001-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu |
Private Names in Non-Commutative Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 31:1-31:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | John Abbott, Anna Maria Bigatti |
CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC²@SYNASC ![In: Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016., pp. 1-3, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Jeremy Yallop, Hai Liu 0012 |
Causal commutative arrows revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 21-32, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Christian Engels, B. V. Raghavendra Rao |
On Hard Instances of Non-Commutative Permanent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics - 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings, pp. 171-181, 2016, Springer, 978-3-319-42633-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Rohit Gurjar, Arpita Korwar, Nitin Saxena 0001 |
Identity Testing for Constant-Width, and Commutative, Read-Once Oblivious ABPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 31st Conference on Computational Complexity, CCC 2016, May 29 to June 1, 2016, Tokyo, Japan, pp. 29:1-29:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-008-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Christian Engels |
Why are certain polynomials hard?: A look at non-commutative, parameterized and homomorphism polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
14 | Zhenguo Yang, Farong Zhong, Jinfang Zhang, Tiantian Song |
On action permutation and progress for a type system with partially commutative asynchronous binary sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Eng. ![In: Int. J. Comput. Sci. Eng. 10(3), pp. 253-262, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Takeo Kamizawa |
On Functionally Commutative Quantum Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 22(3), pp. 1550020:1-1550020:14, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Zhen-Bo Li, Huawen Liu |
Generalizations of (U, N)-implications derived from commutative semi-uninorms and pseudo-uninorms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 29(5), pp. 2177-2184, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yong Lin Liu, Hee Sik Kim |
Non-commutative residuated lattices based on soft sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 29(5), pp. 2271-2278, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Nazmul Islam, Kazi Md. Rokibul Alam, Shaikh Shiam Rahman |
Commutative Re-encryption Techniques: Significance and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Secur. J. A Glob. Perspect. ![In: Inf. Secur. J. A Glob. Perspect. 24(4-6), pp. 185-193, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ulrich Oberst |
The computation of purity filtrations over commutative noetherian rings of operators and their application to behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multidimens. Syst. Signal Process. ![In: Multidimens. Syst. Signal Process. 26(2), pp. 389-404, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Florian Heiderich |
Towards a non-commutative picard-vessiot theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(1), pp. 24, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Roland Coghetto |
Summable Family in a Commutative Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 23(4), pp. 279-288, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Marion Candau, Roland Gautier, Johannes Huisman |
Non-commutative convolutional codes over the infinite dihedral group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Coding Theory ![In: Int. J. Inf. Coding Theory 3(1), pp. 1-14, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Jouhet, Philippe Nadeau |
Long Fully Commutative Elements in Affine Coxeter Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integers ![In: Integers 15, pp. A36, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Xiang-dong Hou |
Lattice of ideals of the polynomial ring over a commutative chain ring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 26(4), pp. 317-346, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Pavel Hrubes, Avi Wigderson |
Non-Commutative Arithmetic Circuits with Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. ![In: Theory Comput. 11, pp. 357-393, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Maria Eugenia Cornejo, Jesús Medina 0001, Eloísa Ramírez-Poussa |
Multi-adjoint algebras versus non-commutative residuated structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 66, pp. 119-138, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Cristiano Torezzan, João E. Strapasson, Sueli I. Rodrigues Costa, Rogério M. Siqueira |
Optimum commutative group codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 74(2), pp. 379-394, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Natalia Dück, Karl-Heinz Zimmermann |
Heuristic decoding of linear codes using commutative algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 76(1), pp. 23-35, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Flavio D'Alessandro, Benedetto Intrigila |
On the commutative equivalence of bounded context-free and regular languages: The semi-linear case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 572, pp. 1-24, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Flavio D'Alessandro, Benedetto Intrigila |
On the commutative equivalence of semi-linear sets of Nk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 562, pp. 476-495, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Antoine Genitrini, Bernhard Gittenberger, Veronika Kraus, Cécile Mailler |
Associative and commutative tree representations for Boolean functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 570, pp. 70-101, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Flavio D'Alessandro, Benedetto Intrigila |
On the commutative equivalence of bounded context-free and regular languages: The code case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 562, pp. 304-319, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Fu Li, Iddo Tzameret, Zhengyu Wang |
Characterizing Propositional Proofs as Non-Commutative Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR15, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Nutan Limaye, Guillaume Malod, Srikanth Srinivasan 0001 |
Lower bounds for non-commutative skew circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR15, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Janis Cirulis |
On Some Classes of Commutative Weak BCK-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(3), pp. 479-490, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Christoph Haase, Piotr Hofman |
Tightening the Complexity of Equivalence Problems for Commutative Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.07774, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Ankit Garg, Leonid Gurvits, Rafael Mendes de Oliveira, Avi Wigderson |
A deterministic polynomial time algorithm for non-commutative rational identity testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.03730, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Gábor Ivanyos, Youming Qiao, K. V. Subrahmanyam 0001 |
Non-commutative Edmonds' problem and matrix semi-invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.00690, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|