Petar Maksimović

From MaRDI portal
Person:2804330

Available identifiers

zbMath Open maksimovic.petarMaRDI QIDQ2804330

List of research outcomes





PublicationDate of PublicationType
First steps towards probabilistic justification logic2019-01-08Paper
Plugging-in proof development environments using \textit{locks} in \(\mathsf{LF}\)2018-10-19Paper
\(\mathsf{LLF}_{\mathcal{P}}\): a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads2017-07-13Paper
HOCore in Coq2015-09-14Paper
Simple characterization of functionally complete one-element sets of propositional connectives2007-02-07Paper

Research outcomes over time

This page was built for person: Petar Maksimović

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2804330&oldid=6710227"
Powered by MediaWiki