The purpose of the article is to analyze the known methods of ordering in computer science. The research methodology consists of methods of ordered pairs, relations, Gödel numbering, and Glushkov’s system of algorithmic algebras. The scientific novelty is to create a method of both description and transformation of orders. Conclusions. In the methods of ordered pairs, relations, Gödel numbering, mathematical logic, Post and Turing machines, and the modified system of Glushkov’s algorithmic algebras there is no possibility of equivalent transformations of orders which are available in algorithms
AbstractRecently A. W. Joseph described an algorithm providing combinatorial insight into E. Sparre ...
Summary. We analyse three algorithms: exponentiation by squaring, cal-culation of maximum, and sorti...
This report documents the program and the outcomes of Dagstuhl Seminar 16031 "Well Quasi-Orders in C...
This thesis is about monomial orderings and a division algorithm for polynomials in two or more vari...
There are many popular problems in different practical fields of computer sciences, computer network...
This paper analyses the best methods of sorting on a digital computer. Two main types, “sorting by m...
An algebraic treatment of graph and sorting algorithms. - In: Sociedad Chilena de Ciencia de la Comp...
These notes deal with an interconnecting web of mathematical techniques all of which deserve a place...
We introduce operators and laws of an algebra of formal languages, a subalgebra of which corresponds...
AbstractThis paper presents the prototype design of an algebraic computation system that manipulates...
Extrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992...
This thesis explores computable linear orders through Turing Reductions and codes zero jump and zero...
Recently A. W. Joseph described an algorithm providing combinatorial insight into E. Sparre Andersen...
Series Encyclopedia of Mathematics and Its Applications (No. 144)Ordered sets are ubiquitous in math...
zAlthough there are many advanced and specialized texts and handbooks on algorithms, until now there...
AbstractRecently A. W. Joseph described an algorithm providing combinatorial insight into E. Sparre ...
Summary. We analyse three algorithms: exponentiation by squaring, cal-culation of maximum, and sorti...
This report documents the program and the outcomes of Dagstuhl Seminar 16031 "Well Quasi-Orders in C...
This thesis is about monomial orderings and a division algorithm for polynomials in two or more vari...
There are many popular problems in different practical fields of computer sciences, computer network...
This paper analyses the best methods of sorting on a digital computer. Two main types, “sorting by m...
An algebraic treatment of graph and sorting algorithms. - In: Sociedad Chilena de Ciencia de la Comp...
These notes deal with an interconnecting web of mathematical techniques all of which deserve a place...
We introduce operators and laws of an algebra of formal languages, a subalgebra of which corresponds...
AbstractThis paper presents the prototype design of an algebraic computation system that manipulates...
Extrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992...
This thesis explores computable linear orders through Turing Reductions and codes zero jump and zero...
Recently A. W. Joseph described an algorithm providing combinatorial insight into E. Sparre Andersen...
Series Encyclopedia of Mathematics and Its Applications (No. 144)Ordered sets are ubiquitous in math...
zAlthough there are many advanced and specialized texts and handbooks on algorithms, until now there...
AbstractRecently A. W. Joseph described an algorithm providing combinatorial insight into E. Sparre ...
Summary. We analyse three algorithms: exponentiation by squaring, cal-culation of maximum, and sorti...
This report documents the program and the outcomes of Dagstuhl Seminar 16031 "Well Quasi-Orders in C...