Languages defined with modular counting quantifiers - (extended abstract)

被引：0

作者：

Straubing, H ^{[1
]}

机构：

[1] Boston Coll, Dept Comp Sci, Chestnut Hill, MA 02167 USA

来源：

STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE | 1998年 / 1373卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：332 / 343

页数：12

共 50 条

[21] Galois Correspondence for Counting Quantifiers
Bulatov, Andrei A.
Hedayaty, Amir
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2015, 24 (5-6) : 405 - 424
[22] Quantifiers on languages and codensity monads
Gehrke, Mai
Petrisan, Daniela
Reggio, Luca
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (10) : 1054 - 1088
[23] Quantifiers on languages and codensity monads
Gehrke, Mai
Petrisan, Daniela
Reggio, Luca
2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
[24] Relating Process Languages for Security and Communication Correctness (Extended Abstract)
Nantes, Daniele
Perez, Jorge A.
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2018, 2018, 10854 : 79 - 100
[25] DI - AN INTERACTIVE DEBUGGING INTERPRETER FOR APPLICATIVE LANGUAGES (EXTENDED ABSTRACT)
SKEDZIELEWSKI, SK
YATES, RK
OLDEHOEFT, RR
SIGPLAN NOTICES, 1987, 22 (07): : 102 - 112
[26] CONSTRAINT SATISFACTION WITH COUNTING QUANTIFIERS
Martin, Barnaby
Madelaine, Florent
Stacho, Juraj
SIAM JOURNAL ON DISCRETE MATHEMATICS, 2015, 29 (02) : 1065 - 1113
[27] Axiomatizing the equational theory of regular tree languages -: Extended abstract
Ésik, Z
STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 455 - 465
[28] Some Programming Languages Suggested by Game Models (Extended Abstract)
Longley, John
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 117 - 134
[29] A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Cristia, Maximiliano
Rossi, Gianfranco
JOURNAL OF AUTOMATED REASONING, 2024, 68 (04)
[30] The abstract state machines method for modular design and analysis of programming languages
Borger, Egon
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (02) : 417 - 439

← 1 2 3 4 5 →