The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase IE-algebra (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1938-1961 (18) 1962-1964 (15) 1965-1967 (15) 1968-1969 (20) 1970-1972 (16) 1973-1974 (18) 1975-1976 (29) 1977 (16) 1978 (27) 1979 (34) 1980 (25) 1981 (56) 1982 (74) 1983 (87) 1984 (99) 1985 (224) 1986 (106) 1987 (216) 1988 (187) 1989 (138) 1990 (233) 1991 (281) 1992 (238) 1993 (299) 1994 (266) 1995 (330) 1996 (345) 1997 (351) 1998 (337) 1999 (431) 2000 (436) 2001 (530) 2002 (459) 2003 (582) 2004 (657) 2005 (779) 2006 (915) 2007 (873) 2008 (888) 2009 (781) 2010 (524) 2011 (557) 2012 (497) 2013 (589) 2014 (538) 2015 (617) 2016 (490) 2017 (498) 2018 (543) 2019 (582) 2020 (525) 2021 (600) 2022 (564) 2023 (565) 2024 (128)
Publication types (Num. hits)
article(10038) book(106) data(1) incollection(230) inproceedings(8588) phdthesis(193) proceedings(91) www(1)
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
142Afrodita Iorgulescu On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras. Search on Bibsonomy Soft Comput. The full citation details ... 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
76Joel Berman, Willem J. Blok Free Lukasiewicz and Hoop Residuation Algebras. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra
74Xiaohong Zhang 0001, Yingcang Ma, Zhanao Xue, Gang Yao Implication Operators Based on Rough Set Model over Boolean Algebras. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras
69Clemens Ballarin, Lawrence C. Paulson Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. Search on Bibsonomy AISC The full citation details ... 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
65David J. Foulis The Universal Group of a Heyting Effect Algebra. Search on Bibsonomy Stud Logica The full citation details ... 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
60Hongbo Li 0012, Ronghua Xu, Ning Zhang On Miquel's Five-Circle Theorem. Search on Bibsonomy IWMM/GIAE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Miquel’s Theorem, Mathematics mechanization, Null bracket algebra, “breefs”, Conformal geometric algebra
57Garret Sobczyk, Gordon Erlebacher Hybrid Matrix Geometric Algebra. Search on Bibsonomy IWMM/GIAE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Bernhard Burgeth, Joachim Weickert An Explanation for the Logarithmic Connection between Linear and Morphological Systems. Search on Bibsonomy Scale-Space The full citation details ... 2003 DBLP  DOI  BibTeX  RDF linear system theory, MAXPLUS algebra, MINPLUS algebra, slope transform, Cramer transform, morphology, convex analysis
56Peter Höfner, Bernhard Möller, Kim Solin Omega Algebra, Demonic Refinement Algebra and Commands. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Jan Paredaens, Dirk Van Gucht Converting Nested Algebra Expressions into Flat Algebra Expressions. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF algebraic query transformation, nested algebra, nested calculus, relational databases, nested relations
52Thorsten Ehm Pointer Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF pointer algebra, pointer structures, embedding, Kleene algebra
51Yingxu Wang 0001, Yiyu Yao, Guoyin Wang 0001 Perspectives on Denotational Mathematics: New Means of Thought. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 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
51Max-Plus Algebra, Aleksey A. Imaev, Robert P. Judd Block diagram-based modeling of manufacturing systems using. Search on Bibsonomy ACC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
50Martin Papco On effect algebras of fuzzy sets. Search on Bibsonomy Soft Comput. The full citation details ... 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
50Afrodita Iorgulescu Iséki algebras. Connection with BL algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Product algebra, Gödel algebra, Iséki algebra, MV algebra, t-norm, BL algebra, BCK algebra, t-conorm
50Paul Flondor, George Georgescu, Afrodita Iorgulescu Pseudo-t-norms and pseudo-BL algebras. Search on Bibsonomy Soft Comput. The full citation details ... 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
49Jean-François Nicaud W6 - Learning Algebra with the Computer, a Transdisciplinary Workshop. Search on Bibsonomy Intelligent Tutoring Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Dumitru Busneag, Dana Piciu BL-algebra of fractions and maximal BL-algebra of quotients. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF AMS Subject Classification 2000 06D35, 03G25
48Paolo Bientinesi, Enrique S. Quintana-Ortí, Robert A. van de Geijn Representing linear algebra algorithms in code: the FLAME application program interfaces. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF high-performance libraries, Application program interfaces, linear algebra, formal derivation
48Vojkan Mihajlovic, Henk Ernst Blok, Djoerd Hiemstra, Peter M. G. Apers Score region algebra: building a transparent XML-R database. Search on Bibsonomy CIKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF region algebra, XML, information retrieval, databases, structured documents
48Javier Cuenca 0001, Domingo Giménez, José González 0002 Towards the Design of an Automatically Tuned Linear Algebra Library. Search on Bibsonomy PDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF automatic tuning, linear algebra software, parallel computing
48Claude Bolduc, Béchir Ktari Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Jean-Lou De Carufel, Jules Desharnais Demonic Algebra with Domain. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Toshinori Takai, Hitoshi Furusawa Monodic Tree Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Sylvia Pulmannová MV-pairs and states. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF R-generated Boolean algebra, MV-pair, MV-algebra, State, Effect algebra
47Yingxu Wang 0001 On Contemporary Denotational Mathematics for Computational Intelligence. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 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
47Roman Fric Measures on MV-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 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
47Hongbo Li 0012, Lina Zhao 0002, Ying Chen Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis. Search on Bibsonomy IWMM/GIAE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF polyhedral scene analysis, imaging algebra, Grassmann-Cay ley algebra, constraint satisfaction, projective reconstruction
44Yang Xu 0001, Jun Ma 0002, Jiajun Lai Sub-algebras of Finite Lattice Implication Algebra. Search on Bibsonomy IFSA (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Vijay Dialani, Inderpal Narang Incorporating Support for Event Algebra in Relational Stream Systems. Search on Bibsonomy SCW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Daniel J. Buehrer, Chun-Yao Wang Using a Class Algebra Ontology To Define Conversions between OWL/SQL/Java Beans. Search on Bibsonomy Web Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Latha S. Colby A Recursive Algebra and Query Optimization for Nested Relations. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
44Xiaohong Zhang, Gang Yao Generalized Rough Set Model on De Morgan Algebras. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF De Morgan algebra, Generalized rough set, Similar topological open subsystem, Similar closure subsystem, Uncertainty measures
44Andrei A. Krokhin, Peter Jonsson Extending the Point Algebra into the Qualitative Algebra. Search on Bibsonomy TIME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Giulio Manzonetto, Antonino Salibra From lambda-Calculus to Universal Algebra and Back. Search on Bibsonomy MFCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
44Hua Zhang 0006, Changqian Zhu, Qiang Peng, Jim X. Chen Using Geometric Algebra for 3D Linear Transformations. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computer graphics, linear transforms, geometric algebra
44Daniel Fontijne Gaigen 2: a geometric algebra implementation generator. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF conformal model, profiling program transformation, synthesis from specification, object-oriented, geometric algebra
44Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann Specification and Integration of Theorem Provers and Computer Algebra Systems. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Integration, Theorem Provers, Computer Algebra Systems, Formal Frameworks
43Ernie Cohen Weak Kleene Algebra and Computation Trees. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Gunther Schmidt 0001 Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF homomorphism theorem, isomorphism theorem, multi-covering, relation algebra, congruence
43Dexter Kozen Nonlocal Flow of Control and Kleene Algebra with Tests. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF control flow, Kleene algebra, program restructuring, Kleene algebra with tests
43Alban Ponse, Mark van der Zwaag An Introduction to Program and Thread Algebra. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Program Algebra, PGA, Thread Algebra
43Leo Dorst, Stephen Mann Geometric Algebra: A Computational Framework for Geometrical Applications (Part 1). Search on Bibsonomy IEEE Computer Graphics and Applications The full citation details ... 2002 DBLP  DOI  BibTeX  RDF blades, geometric product, outer product, subspaces, geometric algebra, inner product, Clifford algebra
43Georg Regensburger, Markus Rosenkranz, Johannes Middeke A skew polynomial approach to integro-differential operators. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF baxter algebra, integro-differential algebra, integro-differential operators, skew polynomials, weyl algebra
43Gejza Jenca A Representation Theorem for MV-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Boolean algebra, MV-algebra, Effect algebra
43Elisa Bertino, Danilo Montesi, Alberto Trombetta Fuzzy and Presentation Algebras for Web and Multimedia Data. Search on Bibsonomy IDEAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF fuzzy algebra, presentation algebra, containment rules, query languages, query languages, relational algebra, equivalence, multimedia data
43Corrie Huijs A Graph Rewriting Approach for Transformational Design of Digital Systems. Search on Bibsonomy EUROMICRO The full citation details ... 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
42Dunren Che, Radiya M. Sojitrawala DUMAX: a dual mode algebra for XML queries. Search on Bibsonomy Infoscale The full citation details ... 2007 DBLP  DOI  BibTeX  RDF XML algebra, query processing, query optimization, algebra, XML database, query algebra
42Thomas Vetterlein A Way to Interpret Lukasiewicz Logic and Basic Logic. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Basic Logic, a-equivalence relation, Boolean algebra, MV-algebra, BL-algebra, Heyting algebra, ?ukasiewicz Logic
42Joel Berman, Willem J. Blok Algebras Defined from Ordered Sets and the Varieties they Generate. Search on Bibsonomy Order The full citation details ... 2006 DBLP  DOI  BibTeX  RDF equationally definable order relation, subdirectly irreducible, Hilbert algebra, order algebra, algebra, ordered set, semilattice, quasi-order, free algebra
42Masoud Haveshki, Arsham Borumand Saeid, Esfandiar Eslami Some types of filters in BL algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Implicative filter, Positive implicative filter, Fantastic filter, G?del algebra, Filter, Boolean algebra, MV algebra, BL-algebra, Boolean filter
42Anatolij Dvurecenskij Blocks of pseudo-effect algebras with the Riesz interpolation property. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Pseudo-effect algebra, Strong compatibility, Riesz interpolation property, Block, MV-algebra, compatibility, Effect algebra, Pseudo MV-algebra
42Zdenka Riecanová Sub-effect algebras and Boolean sub-effect algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Sub-effect algebra, Boolean sub-effect algebra, Complete effect algebra, Blocks, Effect algebra
42Michael Pittarelli An Algebra for Probabilistic Databases. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
42Afrodita Iorgulescu Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices. Search on Bibsonomy Soft Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Pseudo-Wajsberg algebra, Pseudo-BCK algebra, Pseudo-Hájek(pP) algebra, Divisible bounded non-commutative residuated lattice, Divisible bounded pseudo-BCK(pP) lattice, Pseudo-MV algebra, Pseudo-BL algebra
40Hans-Jörg Kreowski Partial Algebras Flow From Algebraic Specifications. Search on Bibsonomy ICALP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
40Leonid Novak, Alexandre V. Zamulin An XML Algebra for XQuery. Search on Bibsonomy ADBIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Jan Van den Bussche The Semijoin Algebra. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Marco Hollenberg Equational Axioms of Test Algebra. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
40Ellen Rose, Arie Segev TOOA: A Temporal Object-Oriented Algebra. Search on Bibsonomy ECOOP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
40M. Bayram, J. P. Bennett A Simple General Purpose Technique for Interfacing Between Computer Algebra and Numerical Analysis Systems. Search on Bibsonomy DISCO The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Lyublena Antova, Christoph Koch 0001, Dan Olteanu From complete to incomplete information and back. Search on Bibsonomy SIGMOD Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF hypothetical queries, world-set algebra, use cases, incomplete information, query rewriting
39Reda Alhajj, Faruk Polat Closure Maintenance in An Object-Oriented Query Model. Search on Bibsonomy CIKM The full citation details ... 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
39Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa The Cube of Kleene Algebras and the Triangular Prism of Multirelations. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Jan Friso Groote, Alban Ponse Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Yousheng Tian, Yingxu Wang 0001, Kai Hu A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 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
39Peter Höfner, Bernhard Möller An extension for feature algebra. Search on Bibsonomy FOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF algebraic characterisation of FOSD, feature algebra, feature oriented software development
39Zhengjiang Wu, Lingxiao Yang, Tianrui Li 0001, Keyun Qin The Basis Algebra in L-Fuzzy Rough Sets. Search on Bibsonomy RSKT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF basis algebra, Rough sets, residuated lattice
39Andrei A. Krokhin, Peter Jeavons 0001, Peter Jonsson Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. Search on Bibsonomy J. ACM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Allen's algebra, dichotomy theorem, representing graphs by intervals, satisfiability of temporal constraints, tractable cases, complexity, NP-completeness
39Lichun Wang 0004, Mike Wing, Colin Davis, Norman Revell An Algebra for a Temporal Object Data Model. Search on Bibsonomy DEXA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF temporal object, Object-oriented databases, query algebra
39C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman Foundations of Concurrent Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Jean-Lou De Carufel, Jules Desharnais Latest News about Demonic Algebra with Domain. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Florian Diedrich, Britta Kehden, Frank Neumann 0001 Multi-objective Problems in Terms of Relational Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Yoshihito Tanaka An Infinitary Extension of Jankov's Theorem. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Subdirectly irreducible algebra, Heyting algebra, Infinitary logic
39Bernhard Möller, Georg Struth Greedy-Like Algorithms in Modal Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra
39Niels Nes, Martin L. Kersten The Acoi Algebra: a Query Algebra for Image Retrieval Systems. Search on Bibsonomy BNCOD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Features and IDB, Image Retrieval, Query Algebra
39Daniele Mundici A Characterization of the free n-generated MV-algebra. Search on Bibsonomy Arch. Math. Log. The full citation details ... 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
39Wenbo Qu, Zhihao Ma, Hao Jiang Fuzzy Dual Ideal in a BCK-Algebra. Search on Bibsonomy FSKD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF BCI-algebra, dual ideal, fuzzy dual ideal, BCK-algebra
39Hans-Joachim Baues, Mamuka Jibladze The Steenrod Algebra and Theories Associated to Hopf Algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Steenrod algebra, Hopf algebra, algebraic theory
39Hongbo Li 0012 Symbolic computation in the homogeneous geometric model with clifford algebra. Search on Bibsonomy ISSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF homogeneous model, automated theorem proving, symbolic computation, geometric algebra, clifford algebra
39Abdullah Uz Tansel, Lucy Garnett On Roth, Korth, and Silberschatz's Extended Algebra and Calculus for Nested Relational Databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF equivalence of algebra and calculus, relational algebra, relational calculus, nested relations
39António L. Furtado 0001, Larry Kerschberg An Algebra of Quotient Relations. Search on Bibsonomy SIGMOD Conference The full citation details ... 1977 DBLP  DOI  BibTeX  RDF high level query language, intermediate level language, quotient algebra, quotient relations, query language, relational algebra, relational model
38Olivier D. Faugeras, Bernard Mourrain On the Geometry and Algebra of the Point and Line Correspondences Between N Images. Search on Bibsonomy ICCV The full citation details ... 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
38Michele Angelaccio, Michele Colajanni Unifying and Optimizing Parallel Linear Algebra Algorithms. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
38Ivo G. Rosenberg An Algebraic Approach to Hyperalgebras. Search on Bibsonomy ISMVL The full citation details ... 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
36Marina Lepp How Does an Intelligent Learning Environment with Novel Design Affect the Students' Learning Results?. Search on Bibsonomy Intelligent Tutoring Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Jianhua Dai, Hanfei Lv, Weidong Chen 0002, Yunhe Pan Two Kinds of Rough Algebras and Brouwer-Zadeh Lattices. Search on Bibsonomy RSCTC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Ivo G. Rosenberg Mal'cev algebras for universal algebra terms. Search on Bibsonomy Algebraic Logic and Universal Algebra in Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
35Larissa Meinicke, Ian J. Hayes Probabilistic Choice in Refinement Algebra. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Silvia Franchini, Antonio Gentile, Filippo Sorbello, Giorgio Vassallo, Salvatore Vitabile An FPGA Implementation of a Quadruple-Based Multiplier for 4D Clifford Algebra. Search on Bibsonomy DSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF denotational models, communicating sequential processes, nondeterminacy
35Edward L. Robertson Triadic Relations: An Algebra for the Semantic Web. Search on Bibsonomy SWDB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Thorsten Ehm, Bernhard Möller, Georg Struth Kleene Modules. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Dexter Kozen Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Sibel Adali, Maria Luisa Sapino, V. S. Subrahmanian An algebra for creating and querying multimedia presentations. Search on Bibsonomy Multim. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Multimedia databases, Multimedia presentations
35Selee Na, Seog Park A Fuzzy Association Algebra Based on a Fuzzy Object Oriented Data Model. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Ralf Hartmut Güting, Roberto V. Zicari, David M. Choy An Algebra for Structured Office Documents. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
35Esko Turunen Semi-Boolean and Hyper-Archimedean BL -Algebras. Search on Bibsonomy IFSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematical fuzzy logic, BL-algrebra, MV-algebra
35Svetlana Cojocaru, Ludmila Malahova, Alexander Colesnicov Providing Modern Software Environments to Computer Algebra Systems. Search on Bibsonomy CASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Kim Solin On Two Dually Nondeterministic Refinement Algebras. Search on Bibsonomy RelMiCS The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license