The subtrace order and counting first-order logic
We study the subtrace relation among Mazurkiewicz traces which generalizes the much-studied subword order. Here, we consider the 2-variable fragment of a counting extension of first-order logic with regular predicates. It is shown that all definable trace languages are effectively recognizable imply...
Gespeichert in:
| Veröffentlicht in: | International Computer Science Symposium (15. : 2020 : Online) Computer science - theory and applications |
|---|---|
| 1. Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen Keine Ergebnisse!