The Experts below are selected from a list of 75 Experts worldwide ranked by ideXlab platform
Ryu Hasegawa - One of the best experts on this subject based on the ideXlab platform.
-
CSL - A Logical Aspect of Parametric Polymorphism
Computer Science Logic, 1996Co-Authors: Ryu HasegawaAbstract:The system of formal parametric polymorphism has the same theory as second order Peano arithmetic with regard to the provable equality of numerical functions.
-
a Logical Aspect of parametric polymorphism
Computer Science Logic, 1995Co-Authors: Ryu HasegawaAbstract:The system of formal parametric polymorphism has the same theory as second order Peano arithmetic with regard to the provable equality of numerical functions.
Bin Pang - One of the best experts on this subject based on the ideXlab platform.
-
Degrees of separation properties in lattice-valued convergence spaces using residual implication
Filomat, 2017Co-Authors: Bin PangAbstract:By using the residual implication on a frame L, we develop a theory of separation axioms in the category of lattice-valued convergence spaces in the spirit of Lowen, i.e., we define for each space some degrees of fulfilling T_0, T_1, T_2 and regularity axioms from a Logical Aspect. These degrees of separation axioms generalize the theory of separation axioms in the sense of Jager.
-
Degrees of separation properties in stratified L-generalized convergence spaces using residual implication
Filomat, 2017Co-Authors: Bin PangAbstract:By using the residual implication on a frame L, we develop a theory of separation axioms in the category of stratified L-generalized convergence spaces in the spirit of Lowen, i.e., we define for each space some degrees of fulfilling T0, T1, T2 and regularity axioms from a Logical Aspect. These degrees of separation axioms generalize the theory of separation axioms in the sense of J?ger.
Pla Uni - One of the best experts on this subject based on the ideXlab platform.
-
Formal Modeling of Course of Action in Operation Planning
Computer Simulation, 2009Co-Authors: Du Jia, Pla UniAbstract:Operation planning is an extremely complex,multiple criteria decision making process with a high degree of uncertainty.How to assistant the process of the Operation planning is a crucial problem for the military.The process of the Operation planning was regarded as a system in which an analysis to the relation of the key elements was given and the development and analysis of course of action was discussed in the state space.At last,based on a formal modeling method,the Finite Automata and the formalism of Formal Language theory was employed to address both the Logical Aspect of course of action and the quantitative Aspect problem.
Du Jia - One of the best experts on this subject based on the ideXlab platform.
-
Formal Modeling of Course of Action in Operation Planning
Computer Simulation, 2009Co-Authors: Du Jia, Pla UniAbstract:Operation planning is an extremely complex,multiple criteria decision making process with a high degree of uncertainty.How to assistant the process of the Operation planning is a crucial problem for the military.The process of the Operation planning was regarded as a system in which an analysis to the relation of the key elements was given and the development and analysis of course of action was discussed in the state space.At last,based on a formal modeling method,the Finite Automata and the formalism of Formal Language theory was employed to address both the Logical Aspect of course of action and the quantitative Aspect problem.
L. M. Luk'yanova - One of the best experts on this subject based on the ideXlab platform.
-
Concept of structure-and-objective analysis and synthesis of organization-and-engineering systems
Cybernetics and Systems Analysis, 2006Co-Authors: L. M. Luk'yanovaAbstract:A concept of structure-and-objective analysis and synthesis of organization-and-engineering industrial systems is defined. The Logical Aspect of system paradigm and principles of structure-and-objective analysis is discussed. It allows us to resolve the problem of disagreement of results of systems analysis.