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

Uloženo v:

Podrobná bibliografie
Vydáno v:	Information and Computation Ročník 152; s. 111 - 137
Hlavní autor:	Ehrhard, Thomas
Médium:	Journal Article
Jazyk:	japonština
Vydáno:	Elsevier BV 01.06.1999
Témata:	[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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Popis
ISSN:	0890-5401
DOI:	10.1006/inco.1998.2781