Implicit language equations: existence and uniqueness of solutions

By Leiss E.L.  

Theoretical Computer Science, Vol. 145, Iss. 1, 1995-07 ,pp. : 71-93

Elsevier

Access to resources Recommend Favorite

On right-hand uniqueness of solutions to nondegenerated algebro-differential equations with discontinuances

By Matrosov I.  

Automation and Remote Control, Vol. 68, Iss. 1, 2007-01 ,pp. : 9-17

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Maximal and Minimal Solutions to Language Equations

By Kari L.   Thierrin G.  

Journal of Computer and System Sciences, Vol. 53, Iss. 3, 1996-12 ,pp. : 487-496

Academic Press

Access to resources Recommend Favorite

Proof of Convergence for a Global Optimization Algorithm for Problems with Ordinary Differential Equations

By Papamichail Ioannis   Adjiman Claire  

Journal of Global Optimization, Vol. 33, Iss. 1, 2005-09 ,pp. : 83-107

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