Searching for authors named "Piotr Rudnicki" – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
Kernel projections and quotient lattices
- … Science, Univ. of Białystok Kernel Projections and Quotient Lattices Piotr Rudnicki University of Alberta…
- Cited by 1 (1 self) – Add To MetaCart
-
The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar
- …The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar Piotr Rudnicki…
- Cited by 1 (0 self) – Add To MetaCart
-
Oriented chains
- … Science, Univ. of Białystok Yatsuka Nakamura Shinshu University Nagano Oriented Chains Piotr Rudnicki…
- Cited by 4 (0 self) – Add To MetaCart
-
Another times macro instruction
- … Science, Univ. of Białystok Another times Macro Instruction Piotr Rudnicki University of Alberta Edmonton…
- Cited by 1 (1 self) – Add To MetaCart
-
The for (going up) macro instruction
- … Science, Univ. of Białystok The for (going up) Macro Instruction Piotr Rudnicki University of Alberta…
- Cited by 2 (0 self) – Add To MetaCart
-
Thefor (going up) macro instruction
- … Science, Univ. of Białystok Thefor (going up) Macro Instruction Piotr Rudnicki University of Alberta…
- Cited by 2 (0 self) – Add To MetaCart
-
Thewhile macro instructions of SCMFSA. Part II
- … Science, Univ. of Białystok Thewhile Macro Instructions of SCMFSA. Part II Piotr Rudnicki University…
- Cited by 1 (1 self) – Add To MetaCart
-
On the Integrity of a Repository of Formalized Mathematics
- …On a repository of formalized mathematics Piotr Rudnicki ⋆ Dept. of Computing Science, University…
- Cited by 4 (0 self) – Add To MetaCart
-
On the composition of non-parahalting macro instructions
- … Science, Univ. of Białystok On the Composition of Non-parahalting Macro Instructions Piotr Rudnicki…
- Cited by 5 (5 self) – Add To MetaCart
-
Little Bezout theorem (factor theorem
- … Science, Univ. of Białystok Little Bezout Theorem (Factor Theorem) 1 Piotr Rudnicki University of Alberta…
- Cited by 10 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
