Research output per year
Research output per year
Fingerprint
Dive into the research topics where Georgi Majury is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 1 Chapter in a published conference proceeding
-
Simple types for probabilistic termination
Heijltjes, W. & Majury, G., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 22 p. 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open Access