|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7798 occurrences of 3322 keywords
|
|
|
Results
Found 19249 publication records. Showing 19248 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(9), pp. 835-856, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(2), pp. 153-180, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 186-191, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings, pp. 55-66, 1998, Springer, 3-540-64960-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 84(3), pp. 407-424, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWMM/GIAE ![In: Computer Algebra and Geometric Algebra with Applications, 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004, and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers, pp. 217-228, 2004, Springer, 3-540-26296-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWMM/GIAE ![In: Computer Algebra and Geometric Algebra with Applications, 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004, and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers, pp. 191-206, 2004, Springer, 3-540-26296-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Bernhard Burgeth, Joachim Weickert |
An Explanation for the Logarithmic Connection between Linear and Morphological Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale Space Methods in Computer Vision, 4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings, pp. 325-339, 2003, Springer, 3-540-40368-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 222-234, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Jan Paredaens, Dirk Van Gucht |
Converting Nested Algebra Expressions into Flat Algebra Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(1), pp. 65-93, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
algebraic query transformation, nested algebra, nested calculus, relational databases, nested relations |
52 | Thorsten Ehm |
Pointer Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers, pp. 99-111, 2003, Springer, 3-540-22145-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science II, pp. 1-5, 2008, Springer, 978-3-540-87562-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2009. St. Louis, Missouri, USA, June 10-12, 2009, pp. 4711-4716, 2009, IEEE, 978-1-4244-4523-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Martin Papco |
On effect algebras of fuzzy sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(4), pp. 373-379, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(7), pp. 449-463, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(5), pp. 355-371, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 5th International Conference, ITS 2000, Montréal, Canada, June 19-23, 2000, Proceedings, pp. 667, 2000, Springer, 3-540-67655-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Dumitru Busneag, Dana Piciu |
BL-algebra of fractions and maximal BL-algebra of quotients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(7), pp. 544-555, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 31(1), pp. 27-59, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 12-19, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain, pp. 201-, 2002, IEEE Computer Society, 0-7695-1444-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 44-58, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Jean-Lou De Carufel, Jules Desharnais |
Demonic Algebra with Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 120-134, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Toshinori Takai, Hitoshi Furusawa |
Monodic Tree Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 402-416, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Sylvia Pulmannová |
MV-pairs and states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(11), pp. 1081-1087, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science II, pp. 6-29, 2008, Springer, 978-3-540-87562-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(2), pp. 130-137, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWMM/GIAE ![In: Computer Algebra and Geometric Algebra with Applications, 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004, and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers, pp. 383-402, 2004, Springer, 3-540-26296-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 813-821, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Vijay Dialani, Inderpal Narang |
Incorporating Support for Event Algebra in Relational Stream Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCW ![In: Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 84-85, 2006, IEEE Computer Society, 0-7695-2681-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 20-24 September 2004, Beijing, China, pp. 752-754, 2004, IEEE Computer Society, 0-7695-2100-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Latha S. Colby |
A Recursive Algebra and Query Optimization for Nested Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989., pp. 273-283, 1989, ACM Press, 978-0-89791-317-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
44 | Xiaohong Zhang, Gang Yao |
Generalized Rough Set Model on De Morgan Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 205-208, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002, pp. 28-35, 2002, IEEE Computer Society, 0-7695-1474-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Giulio Manzonetto, Antonino Salibra |
From lambda-Calculus to Universal Algebra and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 479-490, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(3), pp. 68-75, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer graphics, linear transforms, geometric algebra |
44 | Daniel Fontijne |
Gaigen 2: a geometric algebra implementation generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 141-150, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings, pp. 94-106, 1998, Springer, 3-540-64960-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Integration, Theorem Provers, Computer Algebra Systems, Formal Frameworks |
43 | Ernie Cohen |
Weak Kleene Algebra and Computation Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 1, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Gunther Schmidt 0001 |
Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 328-342, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 105-117, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 445-458, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 22(3), pp. 24-31, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings, pp. 287-294, 2009, ACM, 978-1-60558-609-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(6), pp. 557-564, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 134-144, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 177-184, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infoscale ![In: Proceedings of the 2nf International Conference on Scalable Information Systems, Infoscale 2007, Suzhou, China, June 6-8, 2007, pp. 52, 2007, ACM, 978-1-59593-757-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(3), pp. 407-423, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(1), pp. 65-88, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(8), pp. 657-664, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(7), pp. 441-445, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(5), pp. 400-403, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(2), pp. 293-303, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(4), pp. 313-327, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings, pp. 521-530, 1987, Springer, 3-540-18088-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
40 | Leonid Novak, Alexandre V. Zamulin |
An XML Algebra for XQuery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings, pp. 4-21, 2006, Springer, 3-540-37899-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Jan Van den Bussche |
The Semijoin Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings, pp. 1, 2006, Springer, 3-540-31782-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Marco Hollenberg |
Equational Axioms of Test Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers, pp. 295-310, 1997, Springer, 3-540-64570-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
40 | Ellen Rose, Arie Segev |
TOOA: A Temporal Object-Oriented Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings, pp. 297-325, 1993, Springer, 3-540-57120-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings, pp. 145-151, 1992, Springer, 3-540-57272-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
39 | Lyublena Antova, Christoph Koch 0001, Dan Olteanu |
From complete to incomplete information and back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 713-724, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29 - December 2, 1994, pp. 72-79, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 276-290, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Jan Friso Groote, Alban Ponse |
Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 235-249, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science V, Special Issue on Cognitive Knowledge Representation, pp. 143-160, 2009, Springer, 978-3-642-02096-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSD ![In: Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009, pp. 75-80, 2009, ACM, 978-1-60558-567-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 320-325, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 50(5), pp. 591-640, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings, pp. 667-677, 1996, Springer, 3-540-61656-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 166-186, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Jean-Lou De Carufel, Jules Desharnais |
Latest News about Demonic Algebra with Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 54-68, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Florian Diedrich, Britta Kehden, Frank Neumann 0001 |
Multi-objective Problems in Terms of Relational Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 84-98, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Yoshihito Tanaka |
An Infinitary Extension of Jankov's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 86(1), pp. 111-131, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers, pp. 202-215, 2003, Springer, 3-540-22145-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 16th British National Conferenc on Databases, BNCOD 16, Cardiff, Wales, UK, July 6-8, 1998, Proceedings, pp. 77-88, 1998, Springer, 3-540-64659-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Features and IDB, Image Retrieval, Query Algebra |
39 | Daniele Mundici |
A Characterization of the free n-generated MV-algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(2), pp. 239-247, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Fuzzy Systems and Knowledge Discovery, Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings, pp. 310-313, 2006, Springer, 3-540-45916-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(1), pp. 109-126, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, pp. 221-228, 2004, ACM, 1-58113-827-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(2), pp. 374-383, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, Toronto, Canada, August 3-5, 1977., pp. 1-8, 1977, ACM, 978-1-4503-7343-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 951-956, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(12), pp. 1382-1397, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 203-209, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 70-79, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Jianhua Dai, Hanfei Lv, Weidong Chen 0002, Yunhe Pan |
Two Kinds of Rough Algebras and Brouwer-Zadeh Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings, pp. 99-106, 2006, Springer, 3-540-47693-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Ivo G. Rosenberg |
Mal'cev algebras for universal algebra terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Logic and Universal Algebra in Computer Science ![In: Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings, pp. 195-208, 1988, Springer, 3-540-97288-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
35 | Larissa Meinicke, Ian J. Hayes |
Probabilistic Choice in Refinement Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, pp. 243-267, 2008, Springer, 978-3-540-70593-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, September 3-5, 2008, pp. 743-751, 2008, IEEE Computer Society, 978-0-7695-3277-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 123-137, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
denotational models, communicating sequential processes, nondeterminacy |
35 | Edward L. Robertson |
Triadic Relations: An Algebra for the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWDB ![In: Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers, pp. 91-108, 2004, 3-540-24576-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Thorsten Ehm, Bernhard Möller, Georg Struth |
Kleene Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers, pp. 112-124, 2003, Springer, 3-540-22145-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Dexter Kozen |
Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings, pp. 27-38, 2001, Springer, 3-540-41695-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Sibel Adali, Maria Luisa Sapino, V. S. Subrahmanian |
An algebra for creating and querying multimedia presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 8(3), pp. 212-230, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 276-281, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Ralf Hartmut Güting, Roberto V. Zicari, David M. Choy |
An Algebra for Structured Office Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 7(2), pp. 123-157, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
35 | Esko Turunen |
Semi-Boolean and Hyper-Archimedean BL -Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 419-426, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 129-140, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Kim Solin |
On Two Dually Nondeterministic Refinement Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 373-387, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 19248 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|