Search results for "MV-algebra"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Saidgani Musaev, Wan J. Fokkink	A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Sebastian Junges, Jurriaan Rot	Learning Language Intersections.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Rocco De Nicola, Luca Di Stefano 0001, Omar Inverso, Serenella Valiani	Process Algebras and Flocks of Birds.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Ansgar Fehnker	What's in School? - Topic Maps for Secondary School Computer Science.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Nancy A. Lynch, Cameron Musco	A Basic Compositional Model for Spiking Neural Networks.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis	Playing Wordle with Uppaal Stratego.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Michael B. Monagan	A call to build a publicly accessible library of lecture recordings in computer algebra.	ACM Commun. Comput. Algebra	2021	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2021	DBLP DOI BibTeX RDF
18	Sergei A. Abramov, Alla A. Bogolubskaya	22nd Workshop on Computer Algebra in Memory of Professor Vladimir Gerdt in Dubna.	ACM Commun. Comput. Algebra	2021	DBLP DOI BibTeX RDF
18	Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu 0003	The fourth conference "computer algebra" in Moscow.	ACM Commun. Comput. Algebra	2021	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2021	DBLP DOI BibTeX RDF
18	Zbigniew Lipinski	Symmetric and asymmetric cryptographic key exchange protocols in the octonion algebra.	Appl. Algebra Eng. Commun. Comput.	2021	DBLP DOI BibTeX RDF
18	Iwan M. Duursma, Xiao Li, Hsin-Po Wang 0001	Multilinear Algebra for Distributed Storage.	SIAM J. Appl. Algebra Geom.	2021	DBLP DOI BibTeX RDF
18	Alan De Araújo Guimarães, Claudemir Fidelis, Plamen Koshlukov	ℤ2 and ℤ-graded central polynomials of the Grassmann algebra.	Int. J. Algebra Comput.	2020	DBLP DOI BibTeX RDF
18	Dietrich Burde, Vsevolod Gubarev	Decompositions of algebras and post-associative algebra structures.	Int. J. Algebra Comput.	2020	DBLP DOI BibTeX RDF
18	Miao-Jung Yvonne Ou	Teaching multivariable calculus and tensor calculus with computer algebra software.	ACM Commun. Comput. Algebra	2020	DBLP DOI BibTeX RDF
18	Kenza Guenda, Iiro S. Honkala, Ilias S. Kotsireas, Teo Mora, Qiang Wang 0012	Special Issue: "Computer Algebra and Application to Combinatorics, Coding Theory and Cryptography" ACA 2019, Montreal, Canada, July 16-20, 2019.	Appl. Algebra Eng. Commun. Comput.	2020	DBLP DOI BibTeX RDF
18	Hans Z. Munthe-Kaas, Ari Stern, Olivier Verdier	Invariant Connections, Lie Algebra Actions, and Foundations of Numerical Integration on Manifolds.	SIAM J. Appl. Algebra Geom.	2020	DBLP DOI BibTeX RDF
18	Shalini Gupta, Sugandha Maheshwary	Finite semisimple group algebra of a normally monomial group.	Int. J. Algebra Comput.	2019	DBLP DOI BibTeX RDF
18	Xiao Cheng, Jiancai Sun	Super-biderivations and linear super-commuting maps on the twisted N = 2 superconformal algebra.	Int. J. Algebra Comput.	2019	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2019	DBLP DOI BibTeX RDF
18	Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Min Wu 0003, Yvette Zonn	The conference "computer algebra" in Moscow.	ACM Commun. Comput. Algebra	2019	DBLP DOI BibTeX RDF
18	Nuh Aydin	Some new linear codes from skew cyclic codes and computer algebra challenges.	Appl. Algebra Eng. Commun. Comput.	2019	DBLP DOI BibTeX RDF
18	Fernando Henry	Some graded identities of the Cayley-Dickson algebra.	Int. J. Algebra Comput.	2018	DBLP DOI BibTeX RDF
18	Dietrich Burde, Christof Ender, Wolfgang Alexander Moens	Post-Lie algebra structures for nilpotent Lie algebras.	Int. J. Algebra Comput.	2018	DBLP DOI BibTeX RDF
18	Luís Felipe Gonçalves Fonseca	ℤ2-graded identities of the Grassmann algebra over a finite field.	Int. J. Algebra Comput.	2018	DBLP DOI BibTeX RDF
18	Zhong-Zhi Bai, Maya G. Neytcheva, Lothar Reichel	Editorial: Novel methods and theories in numerical algebra with interdisciplinary applications.	Numer. Linear Algebra Appl.	2018	DBLP DOI BibTeX RDF
18	Jiaxiong Hu, Anton Panferov	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2018	DBLP DOI BibTeX RDF
18	Galina Deryabina, Alexei Krasilnikov	Products of several commutators in a Lie nilpotent associative algebra.	Int. J. Algebra Comput.	2017	DBLP DOI BibTeX RDF
18	Sergei A. Abramov, Anna A. Ryabenko, Timur M. Sadykov 0001	The second conference "Computer Algebra" in Moscow.	ACM Commun. Comput. Algebra	2017	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2017	DBLP DOI BibTeX RDF
18	Daniel Lichtblau	East coast copmuter algebra day 2017.	ACM Commun. Comput. Algebra	2017	DBLP DOI BibTeX RDF
18	Yusuf Baris Tuncer	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2017	DBLP DOI BibTeX RDF
18	Wen-shin Lee	Milestones in Computer Algebra (MICA 2016): a workshop celebrating the research of Erick Kaltofen.	ACM Commun. Comput. Algebra	2017	DBLP DOI BibTeX RDF
18	Antonio Pereira Brandão Jr., Dimas José Gonçalves, Plamen Koshlukov	Graded A-identities for the matrix algebra of order two.	Int. J. Algebra Comput.	2016	DBLP DOI BibTeX RDF
18	Lucio Centrone, Viviane Ribeiro Tomaz da Silva	A note on graded polynomial identities for tensor products by the Grassmann algebra in positive characteristic.	Int. J. Algebra Comput.	2016	DBLP DOI BibTeX RDF
18	Wayne Eberly	Black box linear algebra: extending wiedemann's analysis of a sparse matrix preconditioner for computations over small fields.	ACM Commun. Comput. Algebra	2016	DBLP DOI BibTeX RDF
18	Manuel Kauers, Peter Paule, Greg Reid	Workshop on symbolic combinatorics and algorithmic differential algebra.	ACM Commun. Comput. Algebra	2016	DBLP DOI BibTeX RDF
18	Sergei A. Abramov, Leonid A. Sevastianov	The conference "computer algebra" in Moscow.	ACM Commun. Comput. Algebra	2016	DBLP DOI BibTeX RDF
18	Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie	The basic polynomial algebra subprograms.	ACM Commun. Comput. Algebra	2016	DBLP DOI BibTeX RDF
18	George Labahn, Stephen M. Watt	Thematic program in computer algebra: July 1 - Dec 31, 2015.	ACM Commun. Comput. Algebra	2016	DBLP DOI BibTeX RDF
18	Lingchuan Meng	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2016	DBLP DOI BibTeX RDF
18	Silvana Ilie, Arne Storjohann	Abstracts of the 2015 east coast computer algebra day.	ACM Commun. Comput. Algebra	2016	DBLP DOI BibTeX RDF
18	Xiaosong Sun	Automorphisms of the endomorphism semigroup of a free algebra.	Int. J. Algebra Comput.	2015	DBLP DOI BibTeX RDF
18	Konstantin Ziegler	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18	Patrice Geary Tiffany	Effectively melding computer algebra systems into the calculus curriculum.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18	Manfred Minimair	Collaborative computer algebra systems.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18	Kadijeh Bagheri, Mohammad-Reza Sadeghi 0001	A new non-associative cryptosystem based on NTOW public key cryptosystem and octonions algebra.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18	Irina A. Kogan	Differential algebra of invariants and invariant variational calculus.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18	Michael Xue	Prove inequalities by solving maximum/minimum problems using a computer algebra system.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18	Richard J. Fateman	Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18	Nuh Aydin	Computer algebra challenges for constructing skew cyclic codes.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18	Andrew Toon	Investigating complex data and dynamics via computer algebra.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18	Carlos D'Andrea	The rees algebra of some monomial parametrizations.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
18	Lucio Centrone	ℤ2-Graded Gelfand-Kirillov dimension of the Grassmann algebra.	Int. J. Algebra Comput.	2014	DBLP DOI BibTeX RDF
18	Adel Alahmadi, Hamed H. Alsulami	Wreath products by a leavitt path algebra and affinizations.	Int. J. Algebra Comput.	2014	DBLP DOI BibTeX RDF
18	William Y. Sit	The Kolchin seminar in differential algebra at the graduate center of the city university of New York: Summer-2014 http: //www.sci.ccny.cuny.edu/~ksda/gradcenter.html.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18		Abstracts of the 2014 east coast computer algebra day: Communicated by Xiaobai Sun, Nikos P. Pitsianis, and Alexandros-Stavros Iliopoulos.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18	Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie	Basic Polynomial Algebra Subprograms.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18	Alexey Ovchinnikov	Kolchin seminar in differential algebra.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
18	Shusaku Iida, José Meseguer 0001, Kazuhiro Ogata 0001 (eds.)	Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Peter Hellekalek	On an important family of inequalities of Niederreiter involving exponential sums.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Alexander Keller 0001, Nikolaus Binder, Carsten Wächter	Construction of a rank-1 lattice sequence based on primitive polynomials.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18		Preface.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Ferruh Özbudak, Zülfükar Saygi	Rational points of the curve over.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Jonas Kaszian, Pieter Moree, Igor E. Shparlinski	Periodic structure of the exponential pseudorandom number generator.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Michael Vielhaber 0001	On the linear complexity of multisequences, bijections between ℤahlen and ℕumber tuples, and partitions.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18		Plate section.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Pierre Liardet, Alain Thomas	Asymptotic formulas for partitions with bounded multiplicity.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Domingo Gómez-Pérez, Jaime Gutierrez 0001	On the linear complexity and lattice test of nonlinear pseudorandom number generators.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Rainer Göttfert	A heuristic formula estimating the keystream length for the general combination generator with respect to a correlation attack.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Roswitha Hofer, Isabel Pirsic	Controlling the shape of generating matrices in global function field constructions of digital sequences.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Gerhard Larcher, Friedrich Pillichshammer, Arne Winterhof, Chaoping Xing	Some highlights of Harald Niederreiter's work.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Christian Lécot, Ali Tarhini	A quasi-Monte Carlo method for the coagulation equation.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Gary L. Mullen, Daqing Wan, Qiang Wang 0012	Index bounds for value sets of polynomials over finite fields.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Peter J. Grabner	Point sets of minimal energy.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Henri Faure, Peter Kritzer	Discrepancy bounds for low-dimensional point sets.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Katalin Gyarmati, Christian Mauduit, András Sárközy	The cross-correlation measure for families of binary sequences.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Juliano B. Lima, Daniel Panario, Ricardo M. Campello de Souza	A trigonometric approach for Chebyshev polynomials over finite fields.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Josef Dick	Applications of geometric discrepancy in numerical analysis and statistics.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Ayça Çesmelioglu, Wilfried Meidl, Alev Topuzoglu	Partially bent functions and their properties.	Applied Algebra and Number Theory	2014	DBLP DOI BibTeX RDF
18	Takeo Yaku, Koichi Anada, Koushi Anzai, Shinji Koka, Youzou Miyadera, Kensei Tsuchida	8k-ary Grid Graph Models of Tabular Forms.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Grigore Rosu, Dorel Lucanu	Behavioral Rewrite Systems and Behavioral Productivity.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar	The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Rolf Hennicker, Annabelle Klarl	Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Bertrand Meyer 0001, Alexander Kogtenkov	Negative Variables and the Essence of Object-Oriented Programming.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Jiaxiang Liu 0001, Jean-Pierre Jouannaud	Confluence: The Unifying, Expressive Power of Locality.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Yongxin Zhao, Jin Song Dong, Yang Liu 0003, Jun Sun 0001	Towards a Combination of CafeOBJ and PAT.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata 0001, Kokichi Futatsugi	On Automation of OTS/CafeOBJ Method.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra	Some Engineering Applications of the OTS/CafeOBJ Method.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Shin Nakajima 0001	Everlasting Challenges with the OBJ Language Family.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet	Model Checking TLR* Guarantee Formulas on Infinite Systems.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Kazuhiro Ogata 0001, Kokichi Futatsugi	Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Razvan Diaconescu	CafeOBJ Traces.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Santiago Escobar 0001	Functional Logic Programming in Maude.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF