Monika Seisenberger

From MaRDI portal
Person:693062

Available identifiers

zbMath Open seisenberger.monikaMaRDI QIDQ693062

List of research outcomes





PublicationDate of PublicationType
On the Computational Content of Choice Principles2023-08-11Paper
Concurrent Gaussian Elimination2023-08-04Paper
Higman’s Lemma and Its Computational Content2020-08-07Paper
Program extraction applied to monadic parsing2019-07-29Paper
Extracting Imperative Programs from Proofs: In-place Quicksort2017-03-13Paper
Extracting a DPLL Algorithm2016-07-08Paper
Extracting verified decision procedures: DPLL and Resolution2015-03-11Paper
Proofs, programs, processes2012-12-07Paper
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras2011-09-02Paper
https://portal.mardi4nfdi.de/entity/Q30816402011-03-09Paper
Proofs, Programs, Processes2010-07-29Paper
Programs from proofs using classical dependent choice2008-04-24Paper
https://portal.mardi4nfdi.de/entity/Q57185672006-01-16Paper
https://portal.mardi4nfdi.de/entity/Q47364012004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q45527512004-03-17Paper
https://portal.mardi4nfdi.de/entity/Q45247662003-07-29Paper
The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction2001-02-18Paper

Research outcomes over time

This page was built for person: Monika Seisenberger

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