Search results for "MV-algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
142	Afrodita Iorgulescu	On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Wajsberg algebra, Generalized-MV algebra, Generalized-Wajsberg algebra, BCK(P) lattice, Hájek(P) algebra, Generalized-BL algebra, Divisible BCK(P) lattice, Weak-BL algebra, MTL algebra, IMTL algebra, WNM algebra, NM algebra, R0 algebra, Pocrim, MV algebra, Residuated lattice, t-norm, BL algebra, Heyting algebra, BCK algebra
76	Joel Berman, Willem J. Blok	Free Lukasiewicz and Hoop Residuation Algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra
74	Xiaohong Zhang 0001, Yingcang Ma, Zhanao Xue, Gang Yao	Implication Operators Based on Rough Set Model over Boolean Algebras.	GrC	2007	DBLP DOI BibTeX RDF	Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras
69	Clemens Ballarin, Lawrence C. Paulson	Reasoning About Coding Theory: The Benefits We Get from Computer Algebra.	AISC	1998	DBLP DOI BibTeX RDF	mechanised reasoning, combining systems, soundness of computer algebra systems, specialisation problem, AISC topics, Integration of logical reasoning and computer algebra, Computer algebra, coding theory, automated theorem provers
65	David J. Foulis	The Universal Group of a Heyting Effect Algebra.	Stud Logica	2006	DBLP DOI BibTeX RDF	lattice ordered, pseudocomplementation, partially ordered abelian group, ?-group, universal group, central comparability, central Rickart property, MV-algebra, effect algebra, Heyting algebra
60	Hongbo Li 0012, Ronghua Xu, Ning Zhang	On Miquel's Five-Circle Theorem.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	Miquel’s Theorem, Mathematics mechanization, Null bracket algebra, “breefs”, Conformal geometric algebra
57	Garret Sobczyk, Gordon Erlebacher	Hybrid Matrix Geometric Algebra.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF
57	Bernhard Burgeth, Joachim Weickert	An Explanation for the Logarithmic Connection between Linear and Morphological Systems.	Scale-Space	2003	DBLP DOI BibTeX RDF	linear system theory, MAXPLUS algebra, MINPLUS algebra, slope transform, Cramer transform, morphology, convex analysis
56	Peter Höfner, Bernhard Möller, Kim Solin	Omega Algebra, Demonic Refinement Algebra and Commands.	RelMiCS	2006	DBLP DOI BibTeX RDF
52	Jan Paredaens, Dirk Van Gucht	Converting Nested Algebra Expressions into Flat Algebra Expressions.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	algebraic query transformation, nested algebra, nested calculus, relational databases, nested relations
52	Thorsten Ehm	Pointer Kleene Algebra.	RelMiCS	2003	DBLP DOI BibTeX RDF	pointer algebra, pointer structures, embedding, Kleene algebra
51	Yingxu Wang 0001, Yiyu Yao, Guoyin Wang 0001	Perspectives on Denotational Mathematics: New Means of Thought.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	denotational mathematics, concept algebra, system algebra, visual semantic algebra, natural intelligence, AI, rough set, process algebra, knowledge engineering, granular computing, computational intelligence, Cognitive informatics, RTPA
51	Max-Plus Algebra, Aleksey A. Imaev, Robert P. Judd	Block diagram-based modeling of manufacturing systems using.	ACC	2009	DBLP DOI BibTeX RDF
50	Martin Papco	On effect algebras of fuzzy sets.	Soft Comput.	2008	DBLP DOI BibTeX RDF	D-poset, Convergence Sequentially continuous D-homomorphism, Convergence effect algebra, Sequentially continuous EA-homomorphism, D-poset of fuzzy sets, Pointwise convergence, ID-poset, Effect algebra of fuzzy sets, IE-algebra, Sober IE-algebra, Closed IE-algebra, IE-measurable space, Measurable map, Natural equivalence, Monocoreflective subcategory, Epireflective subcategory, Coproduct, Generalized elementary event, Generalized measurable space, Generalized probability measure, Product, Observable, Duality, State, Effect algebra, Fuzzy random variable
50	Afrodita Iorgulescu	Iséki algebras. Connection with BL algebras.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Product algebra, Gödel algebra, Iséki algebra, MV algebra, t-norm, BL algebra, BCK algebra, t-conorm
50	Paul Flondor, George Georgescu, Afrodita Iorgulescu	Pseudo-t-norms and pseudo-BL algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Weak-BL algebra, Weak-pseudo-BL algebra, Pseudo- t -norm, Pseudo- t -conorm, Left continuity, Right continuity, MV algebra, t -norm, BL algebra, Pseudo-MV algebra, Pseudo-BL algebra, t -conorm
49	Jean-François Nicaud	W6 - Learning Algebra with the Computer, a Transdisciplinary Workshop.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
48	Dumitru Busneag, Dana Piciu	BL-algebra of fractions and maximal BL-algebra of quotients.	Soft Comput.	2005	DBLP DOI BibTeX RDF	AMS Subject Classification 2000 06D35, 03G25
48	Paolo Bientinesi, Enrique S. Quintana-Ortí, Robert A. van de Geijn	Representing linear algebra algorithms in code: the FLAME application program interfaces.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	high-performance libraries, Application program interfaces, linear algebra, formal derivation
48	Vojkan Mihajlovic, Henk Ernst Blok, Djoerd Hiemstra, Peter M. G. Apers	Score region algebra: building a transparent XML-R database.	CIKM	2005	DBLP DOI BibTeX RDF	region algebra, XML, information retrieval, databases, structured documents
48	Javier Cuenca 0001, Domingo Giménez, José González 0002	Towards the Design of an Automatically Tuned Linear Algebra Library.	PDP	2002	DBLP DOI BibTeX RDF	automatic tuning, linear algebra software, parallel computing
48	Claude Bolduc, Béchir Ktari	Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.	RelMiCS	2009	DBLP DOI BibTeX RDF
48	Jean-Lou De Carufel, Jules Desharnais	Demonic Algebra with Domain.	RelMiCS	2006	DBLP DOI BibTeX RDF
48	Toshinori Takai, Hitoshi Furusawa	Monodic Tree Kleene Algebra.	RelMiCS	2006	DBLP DOI BibTeX RDF
47	Sylvia Pulmannová	MV-pairs and states.	Soft Comput.	2009	DBLP DOI BibTeX RDF	R-generated Boolean algebra, MV-pair, MV-algebra, State, Effect algebra
47	Yingxu Wang 0001	On Contemporary Denotational Mathematics for Computational Intelligence.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Denotational mathematics, concept algebra, system algebra, embedded relations, incremental relations, big-R notation, software engineering, process algebra, knowledge engineering, computational intelligence, cognitive informatics, RTPA
47	Roman Fric	Measures on MV-algebras.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Semisimple M V -algebra, Initial sequential convergence, I -sequential M V -algebra, Sequential continuity, Absolutely sequentially closed object, Epireflection, Sequentially continuous measure, ?-completion, Extension of measures, Natural equivalence, Bold algebra, ?ukasiewicz tribe, Measurable map, Probability event, D -poset, Coproduct, Quantum structure, Observable, Duality, Measurable space
47	Hongbo Li 0012, Lina Zhao 0002, Ying Chen	Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	polyhedral scene analysis, imaging algebra, Grassmann-Cay ley algebra, constraint satisfaction, projective reconstruction
44	Yang Xu 0001, Jun Ma 0002, Jiajun Lai	Sub-algebras of Finite Lattice Implication Algebra.	IFSA (2)	2007	DBLP DOI BibTeX RDF
44	Vijay Dialani, Inderpal Narang	Incorporating Support for Event Algebra in Relational Stream Systems.	SCW	2006	DBLP DOI BibTeX RDF
44	Daniel J. Buehrer, Chun-Yao Wang	Using a Class Algebra Ontology To Define Conversions between OWL/SQL/Java Beans.	Web Intelligence	2004	DBLP DOI BibTeX RDF
44	Latha S. Colby	A Recursive Algebra and Query Optimization for Nested Relations.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
44	Xiaohong Zhang, Gang Yao	Generalized Rough Set Model on De Morgan Algebras.	GrC	2007	DBLP DOI BibTeX RDF	De Morgan algebra, Generalized rough set, Similar topological open subsystem, Similar closure subsystem, Uncertainty measures
44	Andrei A. Krokhin, Peter Jonsson	Extending the Point Algebra into the Qualitative Algebra.	TIME	2002	DBLP DOI BibTeX RDF
44	Giulio Manzonetto, Antonino Salibra	From lambda-Calculus to Universal Algebra and Back.	MFCS	2008	DBLP DOI BibTeX RDF	Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
44	Hua Zhang 0006, Changqian Zhu, Qiang Peng, Jim X. Chen	Using Geometric Algebra for 3D Linear Transformations.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	computer graphics, linear transforms, geometric algebra
44	Daniel Fontijne	Gaigen 2: a geometric algebra implementation generator.	GPCE	2006	DBLP DOI BibTeX RDF	conformal model, profiling program transformation, synthesis from specification, object-oriented, geometric algebra
44	Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann	Specification and Integration of Theorem Provers and Computer Algebra Systems.	AISC	1998	DBLP DOI BibTeX RDF	Integration, Theorem Provers, Computer Algebra Systems, Formal Frameworks
43	Ernie Cohen	Weak Kleene Algebra and Computation Trees.	RelMiCS	2006	DBLP DOI BibTeX RDF
43	Gunther Schmidt 0001	Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.	RelMiCS	2006	DBLP DOI BibTeX RDF	homomorphism theorem, isomorphism theorem, multi-covering, relation algebra, congruence
43	Dexter Kozen	Nonlocal Flow of Control and Kleene Algebra with Tests.	LICS	2008	DBLP DOI BibTeX RDF	control flow, Kleene algebra, program restructuring, Kleene algebra with tests
43	Alban Ponse, Mark van der Zwaag	An Introduction to Program and Thread Algebra.	CiE	2006	DBLP DOI BibTeX RDF	Program Algebra, PGA, Thread Algebra
43	Leo Dorst, Stephen Mann	Geometric Algebra: A Computational Framework for Geometrical Applications (Part 1).	IEEE Computer Graphics and Applications	2002	DBLP DOI BibTeX RDF	blades, geometric product, outer product, subspaces, geometric algebra, inner product, Clifford algebra
43	Georg Regensburger, Markus Rosenkranz, Johannes Middeke	A skew polynomial approach to integro-differential operators.	ISSAC	2009	DBLP DOI BibTeX RDF	baxter algebra, integro-differential algebra, integro-differential operators, skew polynomials, weyl algebra
43	Gejza Jenca	A Representation Theorem for MV-algebras.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Boolean algebra, MV-algebra, Effect algebra
43	Elisa Bertino, Danilo Montesi, Alberto Trombetta	Fuzzy and Presentation Algebras for Web and Multimedia Data.	IDEAS	2000	DBLP DOI BibTeX RDF	fuzzy algebra, presentation algebra, containment rules, query languages, query languages, relational algebra, equivalence, multimedia data
43	Corrie Huijs	A Graph Rewriting Approach for Transformational Design of Digital Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design
42	Dunren Che, Radiya M. Sojitrawala	DUMAX: a dual mode algebra for XML queries.	Infoscale	2007	DBLP DOI BibTeX RDF	XML algebra, query processing, query optimization, algebra, XML database, query algebra
42	Thomas Vetterlein	A Way to Interpret Lukasiewicz Logic and Basic Logic.	Stud Logica	2008	DBLP DOI BibTeX RDF	Basic Logic, a-equivalence relation, Boolean algebra, MV-algebra, BL-algebra, Heyting algebra, ?ukasiewicz Logic
42	Joel Berman, Willem J. Blok	Algebras Defined from Ordered Sets and the Varieties they Generate.	Order	2006	DBLP DOI BibTeX RDF	equationally definable order relation, subdirectly irreducible, Hilbert algebra, order algebra, algebra, ordered set, semilattice, quasi-order, free algebra
42	Masoud Haveshki, Arsham Borumand Saeid, Esfandiar Eslami	Some types of filters in BL algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Implicative filter, Positive implicative filter, Fantastic filter, G?del algebra, Filter, Boolean algebra, MV algebra, BL-algebra, Boolean filter
42	Anatolij Dvurecenskij	Blocks of pseudo-effect algebras with the Riesz interpolation property.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Pseudo-effect algebra, Strong compatibility, Riesz interpolation property, Block, MV-algebra, compatibility, Effect algebra, Pseudo MV-algebra
42	Zdenka Riecanová	Sub-effect algebras and Boolean sub-effect algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Sub-effect algebra, Boolean sub-effect algebra, Complete effect algebra, Blocks, Effect algebra
42	Michael Pittarelli	An Algebra for Probabilistic Databases.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	probabilistic data model, probabilistic algebra, /spl alpha/-acyclic database schemes, homomorphic image, statistical smoothing procedure, Bayes networks, data structures, probability, decision support systems, database management systems, Markov processes, decision support, database theory, relational algebra, relational algebra, algebra, Bayes methods, probabilistic databases, uncertainty handling, Markov networks, uncertain information
42	Afrodita Iorgulescu	Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices.	Soft Comput.	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
40	Hans-Jörg Kreowski	Partial Algebras Flow From Algebraic Specifications.	ICALP	1987	DBLP DOI BibTeX RDF
40	Leonid Novak, Alexandre V. Zamulin	An XML Algebra for XQuery.	ADBIS	2006	DBLP DOI BibTeX RDF
40	Jan Van den Bussche	The Semijoin Algebra.	FoIKS	2006	DBLP DOI BibTeX RDF
40	Marco Hollenberg	Equational Axioms of Test Algebra.	CSL	1997	DBLP DOI BibTeX RDF
40	Ellen Rose, Arie Segev	TOOA: A Temporal Object-Oriented Algebra.	ECOOP	1993	DBLP DOI BibTeX RDF
40	M. Bayram, J. P. Bennett	A Simple General Purpose Technique for Interfacing Between Computer Algebra and Numerical Analysis Systems.	DISCO	1992	DBLP DOI BibTeX RDF
39	Lyublena Antova, Christoph Koch 0001, Dan Olteanu	From complete to incomplete information and back.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	hypothetical queries, world-set algebra, use cases, incomplete information, query rewriting
39	Reda Alhajj, Faruk Polat	Closure Maintenance in An Object-Oriented Query Model.	CIKM	1994	DBLP DOI BibTeX RDF	message expression, object algebra expression, total instances, database system, closure, object-oriented data model, query model, object-oriented query language
39	Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa	The Cube of Kleene Algebras and the Triangular Prism of Multirelations.	RelMiCS	2009	DBLP DOI BibTeX RDF
39	Jan Friso Groote, Alban Ponse	Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract).	CONCUR	1991	DBLP DOI BibTeX RDF
39	Yousheng Tian, Yingxu Wang 0001, Kai Hu	A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	denotational mathematics, concept algebra, OAR, LRMB, machine learning, visualization, knowledge representation, case studies, intelligent systems, computational intelligence, Cognitive informatics, support tool, cognitive computing
39	Peter Höfner, Bernhard Möller	An extension for feature algebra.	FOSD	2009	DBLP DOI BibTeX RDF	algebraic characterisation of FOSD, feature algebra, feature oriented software development
39	Zhengjiang Wu, Lingxiao Yang, Tianrui Li 0001, Keyun Qin	The Basis Algebra in L-Fuzzy Rough Sets.	RSKT	2009	DBLP DOI BibTeX RDF	basis algebra, Rough sets, residuated lattice
39	Andrei A. Krokhin, Peter Jeavons 0001, Peter Jonsson	Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra.	J. ACM	2003	DBLP DOI BibTeX RDF	Allen's algebra, dichotomy theorem, representing graphs by intervals, satisfiability of temporal constraints, tractable cases, complexity, NP-completeness
39	Lichun Wang 0004, Mike Wing, Colin Davis, Norman Revell	An Algebra for a Temporal Object Data Model.	DEXA	1996	DBLP DOI BibTeX RDF	temporal object, Object-oriented databases, query algebra
39	C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman	Foundations of Concurrent Kleene Algebra.	RelMiCS	2009	DBLP DOI BibTeX RDF
39	Jean-Lou De Carufel, Jules Desharnais	Latest News about Demonic Algebra with Domain.	RelMiCS	2008	DBLP DOI BibTeX RDF
39	Florian Diedrich, Britta Kehden, Frank Neumann 0001	Multi-objective Problems in Terms of Relational Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
39	Yoshihito Tanaka	An Infinitary Extension of Jankov's Theorem.	Stud Logica	2007	DBLP DOI BibTeX RDF	Subdirectly irreducible algebra, Heyting algebra, Infinitary logic
39	Bernhard Möller, Georg Struth	Greedy-Like Algorithms in Modal Kleene Algebra.	RelMiCS	2003	DBLP DOI BibTeX RDF	Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra
39	Niels Nes, Martin L. Kersten	The Acoi Algebra: a Query Algebra for Image Retrieval Systems.	BNCOD	1998	DBLP DOI BibTeX RDF	Features and IDB, Image Retrieval, Query Algebra
39	Daniele Mundici	A Characterization of the free n-generated MV-algebra.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Free MV-algebra, Chang completeness theorem, McNaughton theorem, standard triangulation of the n-cube, Partition of unity, ?-functor, Singular homology group, Pyramidal function, MV-algebra, piecewise linear function
39	Wenbo Qu, Zhihao Ma, Hao Jiang	Fuzzy Dual Ideal in a BCK-Algebra.	FSKD	2006	DBLP DOI BibTeX RDF	BCI-algebra, dual ideal, fuzzy dual ideal, BCK-algebra
39	Hans-Joachim Baues, Mamuka Jibladze	The Steenrod Algebra and Theories Associated to Hopf Algebras.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	Steenrod algebra, Hopf algebra, algebraic theory
39	Hongbo Li 0012	Symbolic computation in the homogeneous geometric model with clifford algebra.	ISSAC	2004	DBLP DOI BibTeX RDF	homogeneous model, automated theorem proving, symbolic computation, geometric algebra, clifford algebra
39	Abdullah Uz Tansel, Lucy Garnett	On Roth, Korth, and Silberschatz's Extended Algebra and Calculus for Nested Relational Databases.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	equivalence of algebra and calculus, relational algebra, relational calculus, nested relations
39	António L. Furtado 0001, Larry Kerschberg	An Algebra of Quotient Relations.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF	high level query language, intermediate level language, quotient algebra, quotient relations, query language, relational algebra, relational model
38	Olivier D. Faugeras, Bernard Mourrain	On the Geometry and Algebra of the Point and Line Correspondences Between N Images.	ICCV	1995	DBLP DOI BibTeX RDF	algebraic relations, geometric relations, Grassmann-Cayley algebra, 3D point, bilinear relations, trilinear relations, quadrilinear relations, perspective projection equation, computational geometry, edge detection, image matching, geometry, algebra, algebra, stereo image processing, epipolar constraints, point correspondence, line correspondence
38	Michele Angelaccio, Michele Colajanni	Unifying and Optimizing Parallel Linear Algebra Algorithms.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	parallel linear algebra algorithms, linear algebra algorithms, parallelimplementations, subcube matrix decomposition, meta-algorithm, decomposition-independent definition, linearalgebra, optimization, parallel algorithms, communication, parallel programs, optimisation, computation, matrix algebra, multicomputers
38	Ivo G. Rosenberg	An Algebraic Approach to Hyperalgebras.	ISMVL	1996	DBLP DOI BibTeX RDF	hyperalgebras, hypergroups theory, universal-algebra type theory, nonvoid subsets, hyperclones, inclusion-isotone clones, subuniverses, algebra, type theory, Boolean algebra, Boolean algebra, congruences, algebraic approach
36	Marina Lepp	How Does an Intelligent Learning Environment with Novel Design Affect the Students' Learning Results?.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF
36	Jianhua Dai, Hanfei Lv, Weidong Chen 0002, Yunhe Pan	Two Kinds of Rough Algebras and Brouwer-Zadeh Lattices.	RSCTC	2006	DBLP DOI BibTeX RDF
35	Ivo G. Rosenberg	Mal'cev algebras for universal algebra terms.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF
35	Larissa Meinicke, Ian J. Hayes	Probabilistic Choice in Refinement Algebra.	MPC	2008	DBLP DOI BibTeX RDF
35	Silvia Franchini, Antonio Gentile, Filippo Sorbello, Giorgio Vassallo, Salvatore Vitabile	An FPGA Implementation of a Quadruple-Based Multiplier for 4D Clifford Algebra.	DSD	2008	DBLP DOI BibTeX RDF
35	Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes	A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.	ICTAC	2006	DBLP DOI BibTeX RDF	denotational models, communicating sequential processes, nondeterminacy
35	Edward L. Robertson	Triadic Relations: An Algebra for the Semantic Web.	SWDB	2004	DBLP DOI BibTeX RDF
35	Thorsten Ehm, Bernhard Möller, Georg Struth	Kleene Modules.	RelMiCS	2003	DBLP DOI BibTeX RDF
35	Dexter Kozen	Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra.	STACS	2001	DBLP DOI BibTeX RDF
35	Sibel Adali, Maria Luisa Sapino, V. S. Subrahmanian	An algebra for creating and querying multimedia presentations.	Multim. Syst.	2000	DBLP DOI BibTeX RDF	Multimedia databases, Multimedia presentations
35	Selee Na, Seog Park	A Fuzzy Association Algebra Based on a Fuzzy Object Oriented Data Model.	COMPSAC	1996	DBLP DOI BibTeX RDF
35	Ralf Hartmut Güting, Roberto V. Zicari, David M. Choy	An Algebra for Structured Office Documents.	ACM Trans. Inf. Syst.	1989	DBLP DOI BibTeX RDF
35	Esko Turunen	Semi-Boolean and Hyper-Archimedean BL -Algebras.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Mathematical fuzzy logic, BL-algrebra, MV-algebra
35	Svetlana Cojocaru, Ludmila Malahova, Alexander Colesnicov	Providing Modern Software Environments to Computer Algebra Systems.	CASC	2006	DBLP DOI BibTeX RDF
35	Kim Solin	On Two Dually Nondeterministic Refinement Algebras.	RelMiCS	2006	DBLP DOI BibTeX RDF