Adam Koprowski

Available identifiers

zbMath Open koprowski.adamMaRDI QIDQ843948

List of research outcomes

Publication	Date of Publication	Type
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates	2011-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q3077191	2011-02-22	Paper
Automated Machine-Checked Hybrid System Safety Proofs	2010-09-14	Paper
TRX: A Formally Verified Parser Interpreter	2010-05-04	Paper
Coq formalization of the higher-order recursive path ordering	2010-01-18	Paper
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems	2009-03-12	Paper
Predictive Labeling with Dependency Pairs Using SAT	2009-03-06	Paper
TPA: Termination Proved Automatically	2008-09-25	Paper
Certified Higher-Order Recursive Path Ordering	2008-09-25	Paper
Arctic Termination ...Below Zero	2008-08-28	Paper
Certification of Proving Termination of Term Rewriting by Matrix Interpretations	2008-03-07	Paper
Frontiers of Combining Systems	2006-10-10	Paper

Research outcomes over time

This page was built for person: Adam Koprowski