33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)

Book title Buchtitel

ISBN

978-3-95977-362-1

Publisher Verlag

Schloss Dagstuhl

Place of publishing Erscheinungsort

Leibniz

Volume Band

326

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Pimentel, Elaine ; Olarte, Carlos ; Lang, Timo ; Freiman, Robert ; Fermüller, Christian G.	Playing with Modalities	Inproceedings Konferenzbeitrag	3-Feb-2025