| A. Nerode, J.B. Remmel. Complexity-theoretic Algebra I: Vector Spaces over Finite Fields. In: Structures in Complexity. pp. 218-241. |
.... abcissa between 0 and 1 where a given recursive continuous function on [0,1] takes a maximum value ( Huang and Nerode, 1985 ] This recursion theoretic methodology can also be refined to give complexity theoretic results on the same problems about extensions, as has been done in algebra by Nerode and Remmel in [ 1987 ] 1989 ] and [ 1990 ] Since this is a more delicate matter than the recursion theory, these developments are deferred again to a later paper. Next, we turn to investigations of the semantics of nonmonotonic rule systems. The fundamental common semantics we have found comes from L 1 , ....
A. Nerode, J.B. Remmel. Complexity-theoretic Algebra I: Vector Spaces over Finite Fields. In: Structures in Complexity. pp. 218-241.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC