COMPLETENESS THEOREMS FOR AUTOMATA

被引：0

|

作者：

MERRITT, M

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 430卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：544 / 560

页数：17

相关论文

共 50 条

[21] CODENSITY THEOREMS AS CATEGORICAL EXPRESSIONS OF COMPLETENESS
MAKKAI, M
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 300 - 300
[22] Completeness Theorems for Adaptively Secure Broadcast
Cohen, Ran
Garay, Juan
Zikas, Vassilis
ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT I, 2023, 14081 : 3 - 38
[23] COMPLETENESS THEOREMS FOR SETS OF DIFFERENTIAL OPERATORS
DAVIS, P
DUKE MATHEMATICAL JOURNAL, 1953, 20 (03) : 345 - 357
[24] FIRST-ORDER COMPLETENESS THEOREMS
WAVRIK, JJ
MATHEMATISCHE ANNALEN, 1973, 206 (03) : 249 - 264
[25] Completeness theorems for reactive modal logics
Dov Gabbay
Annals of Mathematics and Artificial Intelligence, 2012, 66 : 81 - 129
[26] ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC
MAKINSON, D
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04): : 379 - &
[27] Completeness theorems for σ-additive probabilistic semantics
Ikodinovic, Nebojsa
Ognjanovic, Zoran
Perovic, Aleksandar
Raskovic, Miodrag
ANNALS OF PURE AND APPLIED LOGIC, 2020, 171 (04)
[28] On Star Expressions and Coalgebraic Completeness Theorems
Schmid, Todd
Rot, Jurriaan
Silva, Alexandra
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (351): : 242 - 259
[29] Effective completeness theorems for modal logic
Ganguli, S
Nerode, A
ANNALS OF PURE AND APPLIED LOGIC, 2004, 128 (1-3) : 141 - 195
[30] EXPANSION AND COMPLETENESS THEOREMS FOR OPERATOR MANIFOLDS
DALGAARD, E
INTERNATIONAL JOURNAL OF QUANTUM CHEMISTRY, 1979, 15 (02) : 169 - 180

← 1 2 3 4 5 →