Tiering as a recursion technique

Gespeichert in:
Autor*in:

Simmons, Harold [verfasserIn]

Format:

Artikel

Erschienen:

2005

Umfang:

30

Übergeordnetes Werk:

Enthalten in: The bulletin of symbolic logic - Cambridge : Cambridge Univ. Press, 1995, 11(2005), 3, Seite 321-350

Übergeordnetes Werk:

volume:11 ; year:2005 ; number:3 ; pages:321-350 ; extent:30

Katalog-ID:

OLC1679592246

Nicht das Richtige dabei?

Schreiben Sie uns!