[Back]


Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"Syntactic decidability and complexity upper bound for the logic of Bunched Implication BI";
Talk: Parsifal Seminar. Inria Sarclay., Palaiseau; 2017-11-22.

Created from the Publication Database of the Vienna University of Technology.