Fingeraftryk
Dyk ned i forskningsemnerne om 'A Decidable Recursive Logic for Weighted Transition Systems'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
A Decidable Recursive Logic for Weighted Transition Systems
Bingtian Xue, Kim Guldstrand Larsen, Radu Iulian Mardare
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review