Beyond Recursive Real Functions

被引：0
|
作者：
Department of Computer Science, University of Chicago, 1100 East 58th Street, Chicago, IL 60637, United States [1 ]
不详 [2 ]
机构：
来源：
Inf Comput | / 2卷 / 113-126期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] A comparison of identification criteria for inductive inference of recursive real-valued functions
    Hirowatari, E
    Arikawa, S
    ALGORITHMIC LEARNING THEORY, 1998, 1501 : 262 - 275
  • [22] Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions
    Suarez Polo, Axel
    Martinez, Jose de Jesus Lavalle
    Molina Rebolledo, Ivan
    COMPUTACION Y SISTEMAS, 2023, 27 (01): : 333 - 340
  • [23] A comparison of identification criteria for inductive inference of recursive real-valued functions
    Hirowatari, E
    Arikawa, S
    THEORETICAL COMPUTER SCIENCE, 2001, 268 (02) : 351 - 366
  • [24] A note on recursive functions
    Sabadini, Nicoletta
    Vigna, Sebastiano
    Walters, Robert F. C.
    Mathematical Structures in Computer Science, 1996, 6 (02): : 127 - 139
  • [25] CLASSIFICATION OF RECURSIVE FUNCTIONS
    MEYER, AR
    RITCHIE, DM
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (01): : 71 - &
  • [26] Recursive Lyapunov Functions
    Olas, Andrzej
    JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 1989, 111 (04): : 641 - 645
  • [27] GENERAL RECURSIVE FUNCTIONS
    ROBINSON, J
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1949, 55 (01) : 70 - 70
  • [28] Linear recursive functions
    Alves, Sandra
    Fernandez, Maribel
    Florido, Mario
    Mackie, Ian
    REWRITING, COMPUTATION AND PROOF: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4600 : 182 - +
  • [29] Farey recursive functions
    Chesebro, Eric
    Emlen, Cory
    Ke, Kenton
    LaFontaine, Denise
    McKinnie, Kelly
    Rigby, Catherine
    INVOLVE, A JOURNAL OF MATHEMATICS, 2021, 14 (03): : 439 - 461
  • [30] PROBABILISTIC RECURSIVE FUNCTIONS
    MANN, I
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 698 - &
12345