The following pages link to Jeffery Zucker (Q478398):
Displaying 32 items.
- Characterizations of semicomputable sets of real numbers (Q478399) (← links)
- Continuity of operators on continuous and discrete time streams (Q549207) (← links)
- (Q789891) (redirect page) (← links)
- Corrigendum: On infinite computations in denotational semantics (Q789892) (← links)
- Universality and semicomputability for nondeterministic programming languages over abstract algebras (Q864513) (← links)
- Computability of analog networks (Q870263) (← links)
- Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
- Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms (Q1036533) (← links)
- On infinite computations in denotational semantics (Q1051414) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- The adequacy problem for inferential logic (Q1258298) (← links)
- The adequacy problem for classical logic (Q1258299) (← links)
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
- Tracking computability of GPAC-generable functions (Q2177590) (← links)
- Models of computation for partial functions on the reals (Q2258841) (← links)
- Transformations of normal and inverted function tables (Q2365395) (← links)
- Fixed Point Techniques in Analog Systems (Q2958834) (← links)
- (Q3138835) (← links)
- (Q3347277) (← links)
- Assignment Calculus: A Pure Imperative Language (Q3455835) (← links)
- (Q3664418) (← links)
- (Q3745260) (← links)
- (Q3853102) (← links)
- (Q3935454) (← links)
- (Q3939204) (← links)
- Deterministic and nondeterministic computation, and horn programs, on abstract data types (Q3992226) (← links)
- (Q3993676) (← links)
- PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES (Q4007856) (← links)
- (Q4016523) (← links)
- Examples of semicomputable sets of real and complex numbers (Q4594263) (← links)
- Tracking computability of GPAC-generable functions (Q5028320) (← links)
