Name Card

Full name Familienname, Vorname

Rozplokhas, Dmitrii

Main Affiliation Organisationszuordnung

E192-05 - Forschungsbereich Theory and Logic

Own Publications Eigene Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Ciabattoni, Agata ; Rozplokhas, Dmitrii	Streamlining Input/Output Logics with Sequent Calculi	Inproceedings Konferenzbeitrag	12-Nov-2023
	2		Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier ; Ramanayake, Don Revantha Shiyan ; Rozplokhas, Dmitrii	Analytic Proof Theory for Aqvist's System F	Inproceedings Konferenzbeitrag	28-Aug-2023