ALGEBRA OF FORMALIZED LANGUAGES

被引：0
|
作者：
MONK, D
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 03期
关键词：
D O I：
10.2307/2270488
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：508 / &
相关论文
共 50 条
  • [1] FORMALIZED ALGORITHMIC LANGUAGES
    SALWICKI, A
    [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (05): : 227 - &
  • [2] Groundwork for a pragmatics for formalized languages
    Kashtan, David
    [J]. SEMIOTICA, 2021, (240) : 211 - 239
  • [3] Alfred Tarski and the "Concept of Truth in Formalized Languages"
    Kashtan, David
    [J]. HISTORY AND PHILOSOPHY OF LOGIC, 2019, 40 (03) : 303 - 305
  • [4] FORMALIZED LINEAR ALGEBRA OVER ELEMENTARY DIVISOR RINGS IN COQ
    Cano, Guillaume
    Cohen, Cyril
    Denes, Maxime
    Mortberg, Anders
    Siles, Vincent
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2016, 12 (02)
  • [5] Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs
    Doroshenko, Anatoliy
    Yatsenko, Olena
    [J]. FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 111 - 125
  • [6] MODEL COMPLETENESS OF AN ALGEBRA OF LANGUAGES
    HAUSSLER, D
    [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 83 (02) : 371 - 374
  • [7] Initial Algebras Unchained A Novel Initial Algebra Construction Formalized in Agda
    Wissmann, Thorsten
    Milius, Stefan
    [J]. PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
  • [8] Structural reductions in process algebra languages
    Jiang, JM
    Wu, JZ
    Yan, W
    [J]. Proceedings of the 11th Joint International Computer Conference, 2005, : 596 - 600
  • [9] The Boolean Algebra of Piecewise Testable Languages
    Konovalov, Anton
    Selivanov, Victor
    [J]. PURSUIT OF THE UNIVERSAL, 2016, 9709 : 292 - 301
  • [10] CONVENTIONAL IDENTITIES IN ALGEBRA OF REGULAR LANGUAGES
    GORSHKOV, PV
    ARKHANGELSKY, KV
    [J]. DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1987, (10): : 63 - 65
12345