Theory of representations

Theoretical Computer Science

Volumn 38, Issue C, 1985, Pages 35-53

  Kreitz, Christoph ^a   Weihrauch, Klaus ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; MATHEMATICAL TECHNIQUES - APPLICATIONS;

THEORY OF REPRESENTATIONS;

AUTOMATA THEORY;

EID: 0022067439     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(85)90208-7     Document Type: Article

References (16)

1. Zur Begründung der intuitionistischen Mathematik I
2. Zur Begründung der intuitionistischen Mathematik II
3. Zur Begründung der intuitionistischen Mathematik II
4. Rekursionstheorie auf F
5. Computability concepts for programming language semantics
6. Theorie der Numerierungen I
7. Computational complexity of real functions
8. Complexity theory on real numbers and functions
9. Towards a theory of representations
10. Effective operations on partial recursive functions
11. Data types as lattices
12. Type 2 recursion theory
13. Admissible representations of effective cpo's
14. p-computability in recursive analysis