Necessary and Sufficient Conditions for the Universality of Programming Formalisms.

A. J. Kfoury Pawel Urzyczyn

Published in: Acta Informatica (1985)

Keyphrases

sufficient conditions
programming language
asymptotic stability
lyapunov function
fixed point
linear complementarity problem
exponential stability
real time
linear systems
optimal policy
equilibrium point