Searching for authors named "Andrzej Trybulec" – sorted by Relevance.
52 documents found, showing 1 through 10.
Next 10 →
-
Built-in concepts
- … Grothendieck Set Theory By Andrzej Trybulec . ............................................. 9 Built-in Concepts…
- Cited by 6 (2 self) – Add To MetaCart
-
Finite join and finite meet, and dual lattices
- … Science, Univ. of Białystok Finite Join and Finite Meet, and Dual Lattices Andrzej Trybulec Warsaw…
- Cited by 19 (1 self) – Add To MetaCart
-
Some Features of the Mizar Language
- …Some Features of the Mizar Language Andrzej Trybulec Institute of Mathematics Warsaw University…
- Cited by 2 (0 self) – Add To MetaCart
-
Algebra of normal forms
- … Science, Univ. of Białystok Algebra of Normal Forms Andrzej Trybulec Warsaw University Białystok Summary…
- Cited by 2 (1 self) – Add To MetaCart
-
On the minimal distance between sets in Euclidean space
- … Science, Univ. of Białystok On the Minimal Distance Between Sets in Euclidean Space 1 Andrzej Trybulec…
- Cited by 3 (1 self) – Add To MetaCart
-
Preparing the internal approximations of simple closed curves
- … Science, Univ. of Białystok Preparing the Internal Approximations of Simple Closed Curves 1 Andrzej…
- Cited by 2 (0 self) – Add To MetaCart
-
A scheme for extensions of homomorphisms of many sorted algebras
- … Science, Univ. of Białystok A Scheme for Extensions of Homomorphisms of Many Sorted Algebras Andrzej…
- Cited by 1 (0 self) – Add To MetaCart
-
Strong arithmetic of real numbers
- … Science, Univ. of Białystok Strong Arithmetic of Real Numbers Andrzej Trybulec Warsaw University Białystok…
- Cited by 2 (0 self) – Add To MetaCart
-
The first part of Jordan’s theorem for special polygons
- … Shinshu University Nagano Andrzej Trybulec Warsaw University Białystok Summary. We prove here the first…
- Cited by 1 (0 self) – Add To MetaCart
-
Tarski Grothendieck Set Theory
- … Science, University of Bia/lystok Tarski Grothendieck Set Theory Andrzej Trybulec Warsaw University Bia…
- Cited by 1250 (125 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
