Skip to main content
Have a personal or library account? Click to login
Term Context Cover

Term Context

Formalized Mathematics
Volume 22 (2014): Issue 2 (June 2014)
By:   
Open Access
|Jun 2014
References

References

  1. [1] Grzegorz Bancerek. Towards the construction of a model of Mizar concepts., 16(2):207–230, 2008. doi:10.2478/v10037-008-0027-x.
    Open DOISearch in Google Scholar
  2. [2] Grzegorz Bancerek. Cardinal numbers., 1(2):377–382, 1990.
    Search in Google Scholar
  3. [3] Grzegorz Bancerek. Cardinal arithmetics., 1(3):543–547, 1990.
    Search in Google Scholar
  4. [4] Grzegorz Bancerek. König’s theorem., 1(3):589–593, 1990.
    Search in Google Scholar
  5. [5] Grzegorz Bancerek. On powers of cardinals., 3(1):89–93, 1992.
    Search in Google Scholar
  6. [6] Grzegorz Bancerek. Algebra of morphisms., 6(2):303–310, 1997.
    Search in Google Scholar
  7. [7] Grzegorz Bancerek. Tarski’s classes and ranks., 1(3):563–567, 1990.
    Search in Google Scholar
  8. [8] Grzegorz Bancerek. Cartesian product of functions., 2(4):547– 552, 1991.
    Search in Google Scholar
  9. [9] Grzegorz Bancerek. Institution of many sorted algebras. Part I: Signature reduct of an algebra., 6(2):279–287, 1997.
    Search in Google Scholar
  10. [10] Grzegorz Bancerek. Free term algebras., 20(3):239–256, 2012. doi:10.2478/v10037-012-0029-6.
    Open DOISearch in Google Scholar
  11. [11] Grzegorz Bancerek. Terms over many sorted universal algebra., 5(2):191–198, 1996.
    Search in Google Scholar
  12. [12] Grzegorz Bancerek. Translations, endomorphisms, and stable equational theories., 5(4):553–564, 1996.
    Search in Google Scholar
  13. [13] Grzegorz Bancerek. The fundamental properties of natural numbers., 1(1):41–46, 1990.
    Search in Google Scholar
  14. [14] Grzegorz Bancerek. The ordinal numbers., 1(1):91–96, 1990.
    Search in Google Scholar
  15. [15] Grzegorz Bancerek. Veblen hierarchy., 19(2):83–92, 2011. doi:10.2478/v10037-011-0014-5.
    Open DOISearch in Google Scholar
  16. [16] Grzegorz Bancerek. Reduction relations., 5(4):469–478, 1996.
    Search in Google Scholar
  17. [17] Grzegorz Bancerek. Introduction to trees., 1(2):421–427, 1990.
    Search in Google Scholar
  18. [18] Grzegorz Bancerek. König’s lemma., 2(3):397–402, 1991.
    Search in Google Scholar
  19. [19] Grzegorz Bancerek. Sets and functions of trees and joining operations of trees., 3(2):195–204, 1992.
    Search in Google Scholar
  20. [20] Grzegorz Bancerek. Joining of decorated trees., 4(1):77–82, 1993.
    Search in Google Scholar
  21. [21] Grzegorz Bancerek. Subtrees., 5(2):185–190, 1996.
    Search in Google Scholar
  22. [22] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences., 1(1):107–114, 1990.
    Search in Google Scholar
  23. [23] Grzegorz Bancerek and Artur Korniłowicz. Yet another construction of free algebra., 9(4):779–785, 2001.
    Search in Google Scholar
  24. [24] Grzegorz Bancerek and Piotr Rudnicki. On defining functions on trees., 4(1):91–101, 1993.
    Search in Google Scholar
  25. [25] Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions., 5(4):485–492, 1996.
    Search in Google Scholar
  26. [26] Czesław Byliński. Finite sequences and tuples of elements of a non-empty sets., 1(3):529–536, 1990.
    Search in Google Scholar
  27. [27] Czesław Byliński. Functions and their basic properties., 1(1): 55–65, 1990.
    Search in Google Scholar
  28. [28] Czesław Byliński. Functions from a set to a set., 1(1):153–164, 1990. Term context 155
    Search in Google Scholar
  29. [29] Czesław Byliński. The modification of a function by a function and the iteration of the composition of a function., 1(3):521–527, 1990.
    Search in Google Scholar
  30. [30] Czesław Byliński. Graphs of functions., 1(1):169–173, 1990.
    Search in Google Scholar
  31. [31] Czesław Byliński. Partial functions., 1(2):357–367, 1990.
    Search in Google Scholar
  32. [32] Czesław Byliński. Some basic properties of sets., 1(1):47–53, 1990.
    Search in Google Scholar
  33. [33] Agata Darmochwał. Finite sets., 1(1):165–167, 1990.
    Search in Google Scholar
  34. [34] Andrzej Kondracki. Basic properties of rational numbers., 1(5): 841–845, 1990.
    Search in Google Scholar
  35. [35] Andrzej Kondracki. The Chinese Remainder Theorem., 6(4): 573–577, 1997.
    Search in Google Scholar
  36. [36] Małgorzata Korolkiewicz. Homomorphisms of many sorted algebras., 5(1):61–65, 1996.
    Search in Google Scholar
  37. [37] Małgorzata Korolkiewicz. Many sorted quotient algebra., 5(1): 79–84, 1996.
    Search in Google Scholar
  38. [38] Jarosław Kotowicz. Convergent real sequences. Upper and lower bound of sets of real numbers., 1(3):477–481, 1990.
    Search in Google Scholar
  39. [39] Yatsuka Nakamura. Determinant of some matrices of field elements., 14(1):1–5, 2006. doi:10.2478/v10037-006-0001-4.
    Open DOISearch in Google Scholar
  40. [40] Hiroyuki Okazaki, Yuichi Futa, and Yasunari Shidama. Constructing binary Huffman tree., 21(2):133–143, 2013. doi:10.2478/forma-2013-0015.
    Open DOISearch in Google Scholar
  41. [41] Beata Perkowska. Free many sorted universal algebra., 5(1): 67–74, 1996.
    Search in Google Scholar
  42. [42] Karol Pąk. Abstract simplicial complexes., 18(1):95–106, 2010. doi:10.2478/v10037-010-0013-y.
    Open DOISearch in Google Scholar
  43. [43] Andrzej Trybulec. Domains and their Cartesian products., 1(1): 115–122, 1990.
    Search in Google Scholar
  44. [44] Andrzej Trybulec. Function domains and Frænkel operator., 1 (3):495–500, 1990.
    Search in Google Scholar
  45. [45] Andrzej Trybulec. Binary operations applied to functions., 1 (2):329–334, 1990.
    Search in Google Scholar
  46. [46] Andrzej Trybulec. Tuples, projections and Cartesian products., 1(1):97–105, 1990.
    Search in Google Scholar
  47. [47] Andrzej Trybulec. On the sets inhabited by numbers., 11(4): 341–347, 2003.
    Search in Google Scholar
  48. [48] Andrzej Trybulec. A scheme for extensions of homomorphisms of many sorted algebras., 5(2):205–209, 1996.
    Search in Google Scholar
  49. [49] Andrzej Trybulec. Many sorted algebras., 5(1):37–42, 1996.
    Search in Google Scholar
  50. [50] Andrzej Trybulec. Many sorted sets., 4(1):15–22, 1993.
    Search in Google Scholar
  51. [51] Michał J. Trybulec. Integers., 1(3):501–505, 1990.
    Search in Google Scholar
  52. [52] Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences., 1(3):569–573, 1990.
    Search in Google Scholar
  53. [53] Wojciech A. Trybulec. Pigeon hole principle., 1(3):575–579, 1990.
    Search in Google Scholar
  54. [54] Zinaida Trybulec. Properties of subsets., 1(1):67–71, 1990.
    Search in Google Scholar
  55. [55] Edmund Woronowicz. Relations and their basic properties., 1 (1):73–83, 1990.
    Search in Google Scholar
  56. [56] Edmund Woronowicz. Relations defined on sets., 1(1):181–186, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/forma-2014-0015 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 125 - 155
Submitted on: Jun 13, 2014
Published on: Jun 30, 2014
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Keywords:
construction degree,
context,
translation,
endomorphism
MSC:
08A35,
03B35
Related subjects:
Computer sciences,
Artificial intelligence,
Computer sciences, other,
Mathematics,
Logic and set theory,
General mathematics

© 2014 Grzegorz Bancerek, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Volume 22 (2014): Issue 2 (June 2014)
Previous article
Next article