A predicate for separating language classes

被引：0
|
作者：
Fernau, H.
机构：
来源：
Bulletin of the European Association for Theoretical Computer Science | 1995年 / 56期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Haystack: A Panoptic Scene Graph Dataset to Evaluate Rare Predicate Classes
    Lorenz, Julian
    Barthel, Florian
    Kienzle, Daniel
    Lienhart, Rainer
    2023 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS, ICCVW, 2023, : 62 - 70
  • [42] ALGORITHM FOR NATURAL-TO-PREDICATE CALCULUS LANGUAGE TRANSLATION
    KORELSKAYA, TD
    NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1975, (06): : 24 - 34
  • [43] PREDICATE TRANSFORMER SEMANTICS OF AN OBERON-LIKE LANGUAGE
    NAUMANN, DA
    PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 467 - 487
  • [44] Separating classes of composition operators via subnormal condition
    Jung, Il Bong
    Lee, Mi Ryeong
    Park, Sang Soo
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2007, 135 (12) : 3955 - 3965
  • [45] Separating classes of groups by first-order sentences
    Nies, A
    INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2003, 13 (03) : 287 - 302
  • [46] PREDICATE EXCHANGEABILITY AND LANGUAGE INVARIANCE IN PURE INDUCTIVE LOGIC
    Kliess, Malte
    Paris, Jeff
    LOGIQUE ET ANALYSE, 2014, (228) : 513 - 540
  • [47] MODERN LANGUAGE CLASSES
    HARGREAVES, PH
    ADULT EDUCATION-LONDON, 1961, 34 (01): : 23 - &
  • [48] CONNECTED LANGUAGE CLASSES
    Sorensen, Ariel
    INTED2011: 5TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2011, : 1674 - 1680
  • [49] Internet and language classes
    Salengros, Isabelle
    ALSIC-APPRENTISSAGE DES LANGUES ET SYSTEMS D INFORMATION ET DE COMMUNICATION, 2005, 8 (01): : 205 - 212
  • [50] A FUNCTIONAL LANGUAGE WITH CLASSES
    BEAVEN, M
    STANSIFER, R
    WETKLOW, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 507 : 364 - 370
12345