Partial interpretations of higher order algebraic types

2005 ◽  
pp. 29-43 ◽  
Author(s):  
Manfred Broy
Keyword(s):  
Higher Order ◽  
Order Algebraic

Normal-Velocity Relaxation and Higher Order Algebraic Heat Flux Models Applicable to an Axisymmetric Impinging Jet

2012 ◽  
Vol 33 (4) ◽  
pp. 556-564 ◽  
Author(s):  
Farzad Bazdidi-Tehrani ◽  
Alireza Imanifar ◽  
Siavash Khajehhasani ◽  
Mehran Rajabi-Zargarabadi
Keyword(s):  
Heat Flux ◽  
Impinging Jet ◽  
Higher Order ◽  
Normal Velocity ◽  
Order Algebraic

scholarly journals The motions of algebraic differential equations

1984 ◽  
Vol 25 (1) ◽  
pp. 93-96
Author(s):  
Lee A. Rubel
Keyword(s):  
Differential Equations ◽  
Higher Order ◽  
Algebraic Differential Equations ◽  
First Order ◽  
Order Algebraic ◽  
Independent Variable

We confine ourselves, for simplicity, to first-order algebraic differential equations (ADE's), although analogous considerations may be made for higher-order ADE's:P(x, y(x), y'(x)) = 0. (*)A motion of (*) is a change of independent variable that takes solutions to solutions, that is, a suitable map <p of the underlying interval I into itself so that if y is a solution of (*) then y ° φ is a solution of (*), i.e.

Rational general solutions of higher order algebraic odes

2013 ◽  
Vol 26 (2) ◽  
pp. 261-280 ◽  
Author(s):  
Yanli Huang ◽  
L. X. Châu Ngô ◽  
Franz Winkler
Keyword(s):  
Higher Order ◽  
General Solutions ◽  
Order Algebraic

Modularity of strong normalization in the algebraic-λ-cube

1997 ◽  
Vol 7 (6) ◽  
pp. 613-660 ◽  
Author(s):  
FRANCO BARBANERA ◽  
MARIBEL FERNÁNDEZ ◽  
HERMAN GEUVERS
Keyword(s):  
Higher Order ◽  
Strong Normalization ◽  
First Order ◽  
Order Algebraic ◽  
General Schema ◽  
Rewrite Rules ◽  
Modular Property ◽  
Critical Pairs

In this paper we present the algebraic-λ-cube, an extension of Barendregt's λ-cube with first- and higher-order algebraic rewriting. We show that strong normalization is a modular property of all the systems in the algebraic-λ-cube, provided that the first-order rewrite rules are non-duplicating and the higher-order rules satisfy the general schema of Jouannaud and Okada. We also prove that local confluence is a modular property of all the systems in the algebraic-λ-cube, provided that the higher-order rules do not introduce critical pairs. This property and the strong normalization result imply the modularity of confluence.

Sign in / Sign up

Export Citation Format

Share Document