Logicality of conditional term rewrite systems

License: In Copyright
Time
Owner Organization

More Like This

Termination, AC-Termination and dependency pairs of term rewriting systems

Termination, AC-Termination and dependency pairs of term rewriting systems

Term rewriting systems and the Church-Rosser property

Term rewriting systems and the Church-Rosser property

Cooperating systems of automata

Cooperating systems of automata

401: Systems of Supply & Distribution

401: Systems of Supply & Distribution

Sequential decision making in biological systems : the role of nonlinear dynamical phenomena in working memory and reinforcement learning in long-term memory

Sequential decision making in biological systems : the role of nonlinear dynamical phenomena in working memory and reinforcement learning in long-term memory

Control of distributed parameter systems and nonlinear systems in aerospace engineering

Control of distributed parameter systems and nonlinear systems in aerospace engineering

Robust H[∞] control of nonlinear systems and its application to mechanical systems

Robust H[∞] control of nonlinear systems and its application to mechanical systems

Termination of higher-order rewrite systems

Termination of higher-order rewrite systems

Quantum nature of polygonal billiard systems

Quantum nature of polygonal billiard systems

TANKAN : short-term economic survey of enterprises in Japan

TANKAN : short-term economic survey of enterprises in Japan

Dynamics and thermodynamics of dissipative quantum systems

Dynamics and thermodynamics of dissipative quantum systems

The orbit stability of differentiable dynamical systems

The orbit stability of differentiable dynamical systems

Synthesis of linear discrete multidimensional control systems

Synthesis of linear discrete multidimensional control systems

Numerical study of self-organized fractal systems

Numerical study of self-organized fractal systems

Study on the mechanism of the electrorheology of dispersed systems

Study on the mechanism of the electrorheology of dispersed systems

Optimization and control of water conveyance/storage systems

Optimization and control of water conveyance/storage systems

Dynamics and growth mechanism of carbon network systems

Dynamics and growth mechanism of carbon network systems

Studies on performance evaluation of integrated communication systems

Studies on performance evaluation of integrated communication systems

Nonperturbative lattice study of chiral-Higgs-Yukawa systems

Nonperturbative lattice study of chiral-Higgs-Yukawa systems

Analysis of many-body systems through Legendre transformation

Analysis of many-body systems through Legendre transformation

Implementation of service specifications on distributed computing systems

Implementation of service specifications on distributed computing systems

Mineralomimetic inclusion structures built of cadmium cyanide systems

Mineralomimetic inclusion structures built of cadmium cyanide systems

Temporal pattern sensitivity of long-term potentiation in hippocampal CA1 neurons

Temporal pattern sensitivity of long-term potentiation in hippocampal CA1 neurons

Analysis and control of nonholonomic systems under dynamical constraints

Analysis and control of nonholonomic systems under dynamical constraints

Last Updated:

Uploaded: 2020-12-17