Monika Seisenberger

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the Computational Content of Choice Principles Handbook of Constructive Mathematics	2023-08-11	Paper
Concurrent Gaussian Elimination Mathematics for Computation (M4C)	2023-08-04	Paper
Higman's lemma and its computational content Advances in Proof Theory	2020-08-07	Paper
Program extraction applied to monadic parsing Journal Of Logic And Computation	2019-07-29	Paper
Extracting imperative programs from proofs: In-place Quicksort	2017-03-13	Paper
Extracting a DPLL algorithm Electronic Notes in Theoretical Computer Science	2016-07-08	Paper
Extracting verified decision procedures: DPLL and resolution Logical Methods in Computer Science	2015-03-11	Paper
Proofs, programs, processes Theory of Computing Systems	2012-12-07	Paper
Minlog -- a tool for program extraction supporting algebras and coalgebras Algebra and Coalgebra in Computer Science	2011-09-02	Paper
Program extraction via typed realisability for induction and coinduction	2011-03-09	Paper
Proofs, programs, processes Programs, Proofs, Processes	2010-07-29	Paper
Programs from proofs using classical dependent choice Annals of Pure and Applied Logic	2008-04-24	Paper
scientific article; zbMATH DE number 2247255 (Why is no real title available?)	2006-01-16	Paper
scientific article; zbMATH DE number 2085177 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1795230 (Why is no real title available?)	2004-03-17	Paper
scientific article; zbMATH DE number 1552509 (Why is no real title available?)	2003-07-29	Paper
The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction Journal of Automated Reasoning	2001-02-18	Paper

Research outcomes over time

This page was built for person: Monika Seisenberger