Alexander Gheorghiu

From MaRDI portal
Person:2233408

Available identifiers

zbMath Open gheorghiu.alexanderMaRDI QIDQ2233408

List of research outcomes





PublicationDate of PublicationType
Focused proof-search in the logic of bunched implications2021-10-18Paper

Research outcomes over time

This page was built for person: Alexander Gheorghiu