Searching for "G. Gierz" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Finite Algebra and Multiple-Valued
- … and the duality of / Lukasiewicz-Moisil algebras, Rep. Math. Logic 26 (1993), 67--74. [118] G.Gierz, K…
- Add To MetaCart
-
Mechanizing and Automating Mathematics: In honor of N.G. de Bruijn
- …" (CCL), by G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, Springer…
- Add To MetaCart
-
Towards Full Prolog
- … as the least element) can be canonically extended to a cpo (see e.g. Gierz et al. [GHK + 80]), so the limits…
- Add To MetaCart
-
CATEGORICAL EQUIVALENCE OF ALGEBRAS WITH A MAJORITY TERM
- …(A), ∩, E(A) 〉 ∼ = 〈 Sub(B), ∩, E(B) 〉. Here, E(A) is the set of singleton subuniverses of A. As G. Gierz…
- Add To MetaCart
-
INDEX equality 11, 169
- … of the 12th Conference on Principles of Database Systems, Washington DC, 1993, pages 49--58. [61] G. Gierz…
- Add To MetaCart
-
Sublattices of Lattices of Order-Convex Sets, II. Posets of Finite Length
- ….P. Dilworth [3], and spatial (thus finitely spatial)—see Theorem I.4.22 in G. Gierz et al. [5] or Lemma 1…
- Cited by 2 (2 self) – Add To MetaCart
-
Sublattices Of Lattices Of Order-Convex Sets, I.
- …. Crawley and R.P. Dilworth [4], and spatial (thus finitely spatial)---see Theorem I.4.22 in G. Gierz et al…
- Add To MetaCart
-
Sublattices Of Lattices Of Order-Convex Sets, Ii.
- …. Crawley and R.P. Dilworth [3], and spatial (thus finitely spatial)---see Theorem I.4.22 in G. Gierz et al…
- Add To MetaCart
Showing 1 through 8.
