Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory von Schuster, Peter M, Seisenberger, Monika, Weiermann, Andreas

Volltext

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras von Berger, Ulrich, Miyamoto, Kenji, Schwichtenberg, Helmut, Seisenberger, Monika

Volltext

Extracting verified decision procedures: DPLL and Resolution von Berger, Ulrich, Lawrence, Andrew, Forsberg, Fredrik Nordvall, Seisenberger, Monika

Volltext

Verification of the European Rail Traffic Management System in Real-Time Maude von Berger, Ulrich, James, Phillip, Lawrence, Andrew, Roggenbach, Markus, Seisenberger, Monika

Volltext

Fund performance evaluation with explainable artificial intelligence von Kovvuri, Veera Raghava Reddy, Fu, Hsuan, Fan, Xiuyi, Seisenberger, Monika

Volltext

Program extraction applied to monadic parsing von Berger, Ulrich, Jones, Alison, Seisenberger, Monika

Volltext

Proofs, Programs, Processes von Berger, Ulrich, Seisenberger, Monika

Volltext

Verification of Solid State Interlocking Programs von James, Phillip, Lawrence, Andy, Moller, Faron, Roggenbach, Markus, Seisenberger, Monika, Setzer, Anton, Kanso, Karim, Chadwick, Simon

Volltext

Programs from proofs using classical dependent choice von Seisenberger, Monika

Volltext

Towards Polynomial Adaptive Local Explanations for Healthcare Classifiers von Duell, Jamie, Fan, Xiuyi, Seisenberger, Monika

Volltext

Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013 von ISHIHARA, HAJIME, KOROVINA, MARGARITA, PAULY, ARNO, SEISENBERGER, MONIKA, SPREEN, DIETER

Volltext

Batch Integrated Gradients: Explanations for Temporal Electronic Health Records von Duell, Jamie, Fan, Xiuyi, Fu, Hsuan, Seisenberger, Monika

Volltext

The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings von Goubault-Larrecq, Jean, Halfon, Simon, Karandikar, Prateek, Narayan Kumar, K., Schnoebelen, Philippe

Volltext

Well Quasi-orders and the Functional Interpretation von Powell, Thomas

Volltext

The Reverse Mathematics of wqos and bqos von Marcone, Alberto

Volltext

A Tool-Chain for the Verification of Geographic Scheme Data von Banerjee, Madhusree, Cai, Victor, Lakshmanappa, Sunitha, Lawrence, Andrew, Roggenbach, Markus, Seisenberger, Monika, Werner, Thomas

Volltext

Recent Progress on Well-Quasi-ordering Graphs von Liu, Chun-Hung

Volltext

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders von Džamonja, Mirna, Schmitz, Sylvain, Schnoebelen, Philippe

Volltext

Well, Better and In-Between von Carroy, Raphaël, Pequignot, Yann

Volltext

Upper Bounds on the Graph Minor Theorem von Krombholz, Martin, Rathjen, Michael

Volltext