4 search results - page 1 / 1 » Recursion Schemata for NCk |
CSL
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
CSL
2006
Springer
13 years 8 months ago
2006
Springer
We define a hierarchy of term systems Tk by means of restrictions of the recursion schema. We essentially use a pointer technique together with tiering. We prove Tk NCk Tk+1 , for ...
ICALP
2001
Springer
13 years 9 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
COSIT
1999
Springer
13 years 8 months ago
1999
Springer
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...