|
Volumn 1373 LNCS, Issue , 1998, Pages 533-543
|
Expressive completeness of LTrL on finite traces: An algebraic proof
|
Author keywords
automata and formal languages; logic in computer science; theory of parallel and distributed computation
|
Indexed keywords
AUTOMATA AND FORMAL LANGUAGES;
EXPRESSIVE POWER;
FINITE SEQUENCE;
FINITE TRACES;
FIRST ORDER THEORIES;
LOGIC IN COMPUTER SCIENCE;
MAZURKIEWICZ TRACES;
THEORY OF PARALLEL AND DISTRIBUTED COMPUTATION;
WREATH PRODUCTS;
ALGEBRA;
AUTOMATA THEORY;
DISTRIBUTED COMPUTER SYSTEMS;
FORMAL LANGUAGES;
TEMPORAL LOGIC;
|
EID: 78649886056
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/BFb0028588 Document Type: Conference Paper |
Times cited : (5)
|
References (17)
|