Summary. In the article we define partial functions. We also define the following notions related to partial functions and functions themselves: the empty function, the restriction of a function to a partial function from a set into a set, the set of all partial functions from a set into a set, the total functions, the relation of tolerance of two functions and the set of all total functions which are tolerated by a partial function. Some simple propositions related to the introduced notions are proved. In the beginning of this article we prove some auxiliary theorems and schemes related to the articles: [1] and [2]
The need to use partial functions arises frequently in formal descriptions of computer systems. Howe...
This is a one-volume edition of Parts I and II of the classic five-volume set The Theory of Function...
The definitions of the mode Function and the graph of a function are introduced. The graph of a func...
Summary. In the article we define partial functions. We also define the following notions related to...
Summary. In the article we define partial functions. We also define the following notions related to...
Summary. Basic operations in the set of partial functions which map a domain to the set of all real ...
AbstractThe problem of extending partial functions is considered from the general viewpoint. Some as...
AbstractPartial functions are the most suitable characterization of program effects. Formal reasonin...
We describe an axiomatic theory for the concept of one-place, partial function, where function is ta...
AbstractWe describe an axiomatic theory for the concept of one-place, partial function, where functi...
AbstractWe describe an axiomatic theory for the concept of one-place, partial function, where functi...
A number of concepts in modern algebra have arisen as abstract versions of systems of functions of o...
A number of concepts in modern algebra have arisen as abstract versions of systems of functions of o...
The subject of the thesis is foundational aspects of partial functions (Papers 1, 2 & 4) and som...
Constructive type theories generally treat only total functions; partial functions present serious ...
The need to use partial functions arises frequently in formal descriptions of computer systems. Howe...
This is a one-volume edition of Parts I and II of the classic five-volume set The Theory of Function...
The definitions of the mode Function and the graph of a function are introduced. The graph of a func...
Summary. In the article we define partial functions. We also define the following notions related to...
Summary. In the article we define partial functions. We also define the following notions related to...
Summary. Basic operations in the set of partial functions which map a domain to the set of all real ...
AbstractThe problem of extending partial functions is considered from the general viewpoint. Some as...
AbstractPartial functions are the most suitable characterization of program effects. Formal reasonin...
We describe an axiomatic theory for the concept of one-place, partial function, where function is ta...
AbstractWe describe an axiomatic theory for the concept of one-place, partial function, where functi...
AbstractWe describe an axiomatic theory for the concept of one-place, partial function, where functi...
A number of concepts in modern algebra have arisen as abstract versions of systems of functions of o...
A number of concepts in modern algebra have arisen as abstract versions of systems of functions of o...
The subject of the thesis is foundational aspects of partial functions (Papers 1, 2 & 4) and som...
Constructive type theories generally treat only total functions; partial functions present serious ...
The need to use partial functions arises frequently in formal descriptions of computer systems. Howe...
This is a one-volume edition of Parts I and II of the classic five-volume set The Theory of Function...
The definitions of the mode Function and the graph of a function are introduced. The graph of a func...