Found 9 Documents (Results 1–9)

Representation and processing of instantaneous and durative temporal phenomena. (English) Zbl 1521.68063

De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 135-156 (2022).
MSC:  68Q10 03B44
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3