X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (299) 299
Conference Proceeding (44) 44
Publication (29) 29
Book / eBook (16) 16
Book Chapter (9) 9
Paper (2) 2
Dissertation (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
mathematics (139) 139
algebra (108) 108
computer science (72) 72
computer science, theory & methods (61) 61
logic (55) 55
mathematical logic and foundations (43) 43
equational logic (40) 40
equational theory (36) 36
artificial intelligence (30) 30
equational classes (30) 30
equational theories (30) 30
computer science, artificial intelligence (29) 29
mathematics, applied (29) 29
variety (29) 29
equational reasoning (27) 27
computer science, software engineering (24) 24
mathematical analysis (24) 24
varieties (22) 22
equational class (20) 20
algebras (19) 19
algorithms (18) 18
philosophy (18) 18
analysis (16) 16
mathematical logic and formal languages (16) 16
mathematical theorems (16) 16
geometry (15) 15
lattices (15) 15
logic in computer science (15) 15
theoretical computer science (15) 15
universal algebra (15) 15
axioms (14) 14
mathematical logic (14) 14
term rewriting (14) 14
theory (14) 14
equations (13) 13
mathematical lattices (13) 13
mathematics, general (13) 13
theorems (13) 13
theory of computation (13) 13
unification (13) 13
computer science, hardware & architecture (12) 12
languages (12) 12
symbolic and algebraic manipulation (12) 12
complexity (11) 11
lattice (11) 11
programming languages (11) 11
algebras, varieties of (10) 10
classes, equational (10) 10
lattice theory (10) 10
mathematical models (10) 10
semantics (10) 10
software engineering (10) 10
varieties of algebras (10) 10
08b05 (9) 9
computational linguistics (9) 9
convex and discrete geometry (9) 9
equational programming (9) 9
mathematical congruence (9) 9
semigroups (9) 9
systems (9) 9
verification (9) 9
decidability (8) 8
equational compactness (8) 8
heyting algebras (8) 8
logic programming (8) 8
research (8) 8
rewriting logic (8) 8
sets (8) 8
specification (8) 8
termination (8) 8
calculus (7) 7
completeness (7) 7
computational theory and mathematics (7) 7
computer science - logic in computer science (7) 7
computer science, information systems (7) 7
equational bases (7) 7
equational unification (7) 7
equivalence (7) 7
logical theorems (7) 7
monads (7) 7
optimization (7) 7
polynomials (7) 7
program transformation (7) 7
quasivariety (7) 7
software (7) 7
03c05 (6) 6
08b15 (6) 6
bisimulation (6) 6
boolean algebra (6) 6
category theory (6) 6
classes équationnelles (6) 6
fuzzy logic (6) 6
language (6) 6
logics and meanings of programs (6) 6
maude (6) 6
membership equational logic (6) 6
narrowing (6) 6
programming languages, compilers, interpreters (6) 6
signatures (6) 6
studies (6) 6
more...
Library Location Library Location
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (344) 344
French (5) 5
German (5) 5
Japanese (4) 4
Russian (2) 2
Czech (1) 1
Spanish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1989, Progress in mathematics, ISBN 9780817634391, Volume 78., viii, 212
Book
2006, Advances in mathematics, ISBN 0387308040, Volume 10, xiii, 341
Book
2004, Cambridge studies in advanced mathematics, ISBN 9780521832076, Volume 92, vi, 235
The most basic algebraic varieties are the projective spaces, and rational varieties are their closest relatives. In many applications where algebraic... 
Varieties (Universal algebra)
Book
Algebra and Logic, ISSN 0002-5232, 1/2019, Volume 57, Issue 6, pp. 414 - 428
This paper enters into a series of works on universal algebraic geometry—a branch of mathematics that is presently flourishing and is still undergoing active... 
equational codomain | universal geometric equivalence | Mathematics | irreducible coordinate algebra | joint embedding property | quasivariety | equational Noetherian property | Algebra | algebraic structure | universal class | universal algebraic geometry | discriminability | Mathematical Logic and Foundations | Dis-limit | LOGIC | MATHEMATICS
Journal Article
1994, Lecture notes in mathematics, ISBN 9783540578147, Volume 1572., viii, 196
Book
Iranian Journal of Fuzzy Systems, ISSN 1735-0654, 2013, Volume 10, Issue 4, pp. 1 - 18
In the framework of fuzzy algebras with fuzzy equalities and a complete lattice as a structure of membership values, we investigate fuzzy equational classes.... 
Fuzzy algebra | Fuzzy equational class | Fuzzy direct product | Fuzzy homomorphism | Fuzzy equality | Fuzzy identity | Fuzzy variety | MATHEMATICS | MATHEMATICS, APPLIED | ALGEBRAS | SUBGROUPS
Journal Article
Journal of Multiple-Valued Logic and Soft Computing, ISSN 1542-3980, 2016, Volume 26, Issue 1-2, pp. 1 - 17
We consider classes of operations in multiple-valued logic that are closed under composition as well as under permutation of variables, identification of... 
Subfunction | Composition of operations | Equational class | Class of operations | Maximal clone | Minor | Clone | Minimal clone | maximal clone | minor | subfunction | equational class | clone | BOOLEAN FUNCTIONS | composition of operations | COMPUTER SCIENCE, THEORY & METHODS | minimal clone | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
Transactions of the American Mathematical Society, ISSN 0002-9947, 12/2017, Volume 369, Issue 12, pp. 8903 - 8937
Cylindric algebras. Part II, Studies in Logic and the Foundations of Mathematics, vol. 115, North-Holland, Amsterdam, 1985]; the problem is restated by N]]>éOn... 
MATHEMATICS | LOGIC | LATTICE | EQUATIONAL CLASSES
Journal Article
Journal of Multiple-Valued Logic and Soft Computing, ISSN 1542-3980, 2012, Volume 19, Issue 5-6, pp. 493 - 518
We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras:... 
Function class composition | Equational class | Post class | Iterative algebra | Post lattice | Relational constraint | Boolean function | Clone | equational class | clone | iterative algebra | relational constraint | COMPUTER SCIENCE, THEORY & METHODS | function class composition | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
Algebra universalis, ISSN 0002-5240, 12/2009, Volume 62, Issue 2, pp. 201 - 208
This paper introduces several families of equational classes of unital f-rings that are defined by equations that impose conditions on the elements between 0... 
Algebra | 08A15 | ordered ring | equational class | singular f-ring | Mathematics | f-ring | 06F25 | Equational class | Ordered ring | Singular f-ring | MATHEMATICS
Journal Article
RAIRO - Operations Research, ISSN 0399-0559, 01/2015, Volume 49, Issue 1, pp. 39 - 66
The class of threshold functions is known to be characterizable by functional equations or, equivalently, by pairs of relations, which are called relational... 
Equational classes | Boolean functions | Threshold functions | Constraints | Clones | OPERATIONS RESEARCH & MANAGEMENT SCIENCE | clones | equational classes | SETS | POST CLASSES | constraints | threshold functions | Boolean algebra | Functional equations | Intersections | Classification | Mathematics | Computer Science
Journal Article
2002, Memoirs of the American Mathematical Society, ISBN 0821832255, Volume no. 763., x, 116
Book
2014 IEEE 44th International Symposium on Multiple-Valued Logic, ISSN 0195-623X, 05/2014, pp. 55 - 60
We consider classes of operations in multiple-valued logic that are closed under composition as well as under permutation of variables, identification of... 
Terminology | classes of operations | Cloning | Lattices | equational class | Educational institutions | composition of operations | Electronic mail | Indexes | Algebra | maximal clone | clone | minimal clone
Conference Proceeding
1984, ISBN 0821823086, Volume no. 305., v, 125
Book
Logic and Logical Philosophy, ISSN 1425-3305, 2016, Volume 25, Issue 1, pp. 35 - 49
Journal Article
1994, Advances in Soviet mathematics, ISBN 9780821841242, Volume 18, xvii, 284
Book
International Electronic Journal of Algebra, ISSN 1306-6048, 2018, Volume 23, pp. 25 - 41
Journal Article
2011 41st IEEE International Symposium on Multiple-Valued Logic, ISSN 0195-623X, 05/2011, pp. 313 - 317
We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras:... 
Post class | Navigation | Post lattice | Cloning | Lattices | equational class | Boolean function | Equations | Boolean functions | clone | iterative algebra | relational constraint | function class composition
Conference Proceeding
Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 10/2009, Volume 93, Issue 1, pp. 41 - 65
This paper presents the first purely algebraic characterization of classes of partial algebras definable by a set of strong equations. This result was posible... 
Homomorphisms | Algebra | Mathematical theorems | Dams | Logical theorems | Subalgebras | Mathematical functions | Mathematics | Mathematical congruence | Signatures | Equational logic | Equation | Strong equation | Equational class | Partial algebra | Computer science | Universities and colleges | Chemical properties
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.