Asynchronous process calculi: the first- and higher-order paradigms

By Sangiorgi D.  

Theoretical Computer Science, Vol. 253, Iss. 2, 2001-02 ,pp. : 311-350

Elsevier

Access to resources Recommend Favorite

The recursive path and polynomial ordering for first-order and higher-order terms

By Bofill Miquel   Borralleras Cristina   Rodrguez-Carbonell Enric   Rubio Albert  

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 263-305

Oxford University Press

Access to resources Recommend Favorite

Higher-Order Gauss–Lobatto Integration for Non-Linear Hyperbolic Equations

By Maerschalck Bart   Gerritsma Marc  

Journal of Scientific Computing, Vol. 27, Iss. 1-3, 2006-06 ,pp. : 201-214

Springer Publishing Company

Access to resources Recommend Favorite

Proof theory of higher-order equations: conservativity, normal forms and term rewriting

By Meinke K.  

Journal of Computer and System Sciences, Vol. 67, Iss. 1, 2003-08 ,pp. : 127-173

Elsevier

Access to resources Recommend Favorite

A reliable modification of the Adomian decomposition method for higher-order nonlinear differential equations

By Rach Randolph   Wazwaz Abdul-Majid   Duan Jun-Sheng  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 42, Iss. 2, 2013-02 ,pp. : 282-308

Emerald Group Publishing Ltd

Access to resources Recommend Favorite