×

Found 12 Documents (Results 1–12)

Newest Citations Relevance
Valencia, Frank

Semantic structures for spatially-distributed multi-agent systems. (English) Zbl 1543.68184

Pérez, Jorge A. (ed.) et al., Proceedings of the combined 26th international workshop on expressiveness in concurrency and 16th workshop on structural operational semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, August 26, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 300, 39-53 (2019).
MSC:  68Q55 03B42 68Q85 68T27 68T42
Cite Review PDF
Full Text: arXiv Link
Berger, Ulrich

On the constructive and computational content of abstract mathematics. (English) Zbl 1469.03169

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 55-73 (2019).
MSC:  03F60 03E25
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

Software