A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Information and Computation Jg. 152; S. 111 - 137
1. Verfasser:	Ehrhard, Thomas
Format:	Journal Article
Sprache:	Japanisch
Veröffentlicht:	Elsevier BV 01.06.1999
Schlagworte:	[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Computational Theory and Mathematics Computer Science Applications Information Systems Theoretical Computer Science
ISSN:	0890-5401
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!