AAAAAA

   
Results: 1-6 |
Results: 6
On functions preserving levels of approximation: a refined model construction for various lambda calculi (vol 212, pg 261, 1999)
Authors: Spreen, D
Citation: D. Spreen, On functions preserving levels of approximation: a refined model construction for various lambda calculi (vol 212, pg 261, 1999), THEOR COMP, 266(1-2), 2001, pp. 997-998
Representations versus numberings: on the relationship of two computability notions
Authors: Spreen, D
Citation: D. Spreen, Representations versus numberings: on the relationship of two computability notions, THEOR COMP, 262(1-2), 2001, pp. 473-499
Can partial indexings be totalized?
Authors: Spreen, D
Citation: D. Spreen, Can partial indexings be totalized?, J SYMB LOG, 66(3), 2001, pp. 1157-1185
On effective topological spaces (vol 63, pg 185, 1998)
Authors: Spreen, D
Citation: D. Spreen, On effective topological spaces (vol 63, pg 185, 1998), J SYMB LOG, 65(4), 2000, pp. 1917-1918
On some decision problems in programming (vol 122, pg 120, 1995)
Authors: Spreen, D
Citation: D. Spreen, On some decision problems in programming (vol 122, pg 120, 1995), INF COMPUT, 148(2), 1999, pp. 241-244
On functions preserving levels of approximation: A refined model construction for various lambda calculi
Authors: Spreen, D
Citation: D. Spreen, On functions preserving levels of approximation: A refined model construction for various lambda calculi, THEOR COMP, 212(1-2), 1999, pp. 261-303
Risultati: 1-6 |