Christoph Lüth

Available identifiers

zbMath Open luth.christophMaRDI QIDQ626932

List of research outcomes

Publication	Date of Publication	Type
Compositional term rewriting: An algebraic proof of Toyama's theorem	2022-12-09	Paper
Composing monads using coproducts	2015-10-07	Paper
Collaborative Interactive Theorem Proving with Clide	2014-09-08	Paper
A Semantic Basis for Proof Queries and Transformations	2014-01-17	Paper
Coalgebraic monads	2013-08-15	Paper
A Web Interface for Isabelle: The Next Generation	2013-08-09	Paper
Algebras, Coalgebras, Monads and Comonads	2013-04-26	Paper
Querying Proofs	2012-06-15	Paper
Tactics for hierarchical proof	2011-02-19	Paper
Structured formal development with quotient types in Isabelle/HOL	2010-08-24	Paper
A Tactic Language for Hiproofs	2009-01-27	Paper
A Framework for Interactive Proof	2007-11-28	Paper
Structured formal development in Isabelle	2007-04-10	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
Monads of coalgebras: rational terms and term graphs	2005-08-03	Paper
Haskell in Space	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4825543	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4825544	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4737122	2004-08-11	Paper
Solving Algebraic Equations Using Coalgebra	2004-03-29	Paper
Dualising initial algebras	2003-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q4934539	2002-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2754057	2001-11-11	Paper
Functional design and implementation of graphical user interfaces for theorem provers	1999-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4362961	1998-06-11	Paper

Research outcomes over time

This page was built for person: Christoph Lüth