FORMALIZED ALGORITHMIC LANGUAGES

被引：0

作者：

SALWICKI, A

机构：

来源：

BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES | 1970年 / 18卷 / 05期

关键词：

D O I：

暂无

中图分类号：

P1 [天文学];

学科分类号：

0704 ;

摘要：

引用

页码：227 / &

共 50 条

[1] ALGEBRA OF FORMALIZED LANGUAGES
MONK, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 508 - &
[2] FORMALIZED SYSTEMS OF ALGORITHMIC LOGIC
MIRKOWSKA, G
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (06): : 421 - +
[3] Groundwork for a pragmatics for formalized languages
Kashtan, David
[J]. SEMIOTICA, 2021, (240) : 211 - 239
[4] ALGORITHMIC LANGUAGES
BRANQUART, P
WODON, P
[J]. PHILIPS JOURNAL OF RESEARCH, 1988, 43 (3-4) : 246 - 267
[5] ALGORITHMIC LANGUAGES
不详
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1982, 9 (03): : 189 - 190
[6] FORMALIZED OMEGA-+-VALUED ALGORITHMIC SYSTEMS
RASIOWA, H
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (06): : 559 - 565
[7] ON SYNTAX OF ALGORITHMIC LANGUAGES
GILBERT, P
[J]. JOURNAL OF THE ACM, 1966, 13 (01) : 90 - &
[8] Alfred Tarski and the "Concept of Truth in Formalized Languages"
Kashtan, David
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 2019, 40 (03) : 303 - 305
[9] Algorithmic languages and the computability of functions
Greenleaf, Newcomb
[J]. Mathematical Revolution Inspired by Computing - Proceedings, 1600,
[10] A COMPUTER FOR EXECUTION OF ALGORITHMIC LANGUAGES
ANDERSON, JP
[J]. COMMUNICATIONS OF THE ACM, 1961, 4 (11) : 483 - 483