Temporal Constraint Satisfaction Problems in Fixed-Point Logic
LICS ’20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Hrsg). Saarbrücken. 2020
Erscheinungsjahr: 2020
Publikationstyp: Diverses
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
