Petros Papapanagiotou

From MaRDI portal
Person:2405261

Available identifiers

zbMath Open papapanagiotou.petrosMaRDI QIDQ2405261

List of research outcomes





PublicationDate of PublicationType
A pragmatic, scalable approach to correct-by-construction process composition using classical linear logic inference2023-11-09Paper
Machine Learning for Inductive Theorem Proving2023-06-30Paper
WorkflowFM: a logic-based framework for formal process specification and composition2017-09-22Paper
An Isabelle-like procedural mode for HOL Light2010-10-12Paper

Research outcomes over time

This page was built for person: Petros Papapanagiotou

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