|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Hans-Jürgen Hoehnke |
Quasi-varieties: A special access. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
Varieties and quasi-varieties of partial algebras, partial theories, partial Dale monoids, Malcev clones |
54 | Hernando Gaitán, Milton H. Perea |
A non-finitely based quasi-variety of De Morgan algebras. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
De Morgan algebra, finitely based quasi-variety, lattice of sub-quasi-varieties |
35 | Clifford Bergman, Giora Slutzki |
Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras. |
SIAM J. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
33 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems. |
Appl. Categorical Struct. |
2006 |
DBLP DOI BibTeX RDF |
quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics |
27 | Brian A. Davey, Miroslav Haviar |
Applications of Priestley duality in transferring optimal dualities. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
Natural duality, optimal duality, Priestley duality, endodualisability, endoprimality, retraction, entailment |
26 | Klaus Denecke, S. Radelecki, Ch. Ratanaprasert |
On Constantive Simple and Order-Primal Algebras. |
Order |
2005 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 08B05, 06A11, 06A06 |
21 | Tommaso Moraschini |
A Logical and Algebraic characterization of Adjunctions between generalized quasi-Varieties. |
J. Symb. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Razvan Diaconescu |
Quasi-varieties and initial semantics for hybridized institutions. |
J. Log. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Razvan Diaconescu |
On quasi-varieties of multiple valued logic models. |
Math. Log. Q. |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Michael Barr, Maria-Cristina Pedicchio |
Topological spaces and quasi-varieties. |
Appl. Categorical Struct. |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Bradd Hart, Sergei Starchenko |
Superstable Quasi-Varieties. |
Ann. Pure Appl. Log. |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Stephen L. Bloom, Zoltán Ésik |
Some Quasi-Varieties of Iteration Theories. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Andrzej Tarlecki |
Quasi-varieties in Abstract Algebraic Institutions. |
J. Comput. Syst. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|