Wolfram Kahl

Available identifiers

zbMath Open kahl.wolframMaRDI QIDQ406452

List of research outcomes

Publication	Date of Publication	Type
Algebraic graph derivations for graphical calculi	2024-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q5018495	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5013889	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4964703	2021-03-03	Paper
Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}	2020-11-09	Paper
Finite limits and anti-unification in substitution categories	2020-06-08	Paper
A flexible categorial formalisation of term graphs as directed hypergraphs	2020-06-08	Paper
Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}	2018-11-08	Paper
CalcCheck: a proof checker for teaching the ``Logical approach to discrete math	2018-10-04	Paper
An Optimized Cell BE Special Function Library Generated by Coconut	2017-08-08	Paper
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras	2017-07-21	Paper
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets	2016-01-08	Paper
Categories of Coalgebras with Monadic Homomorphisms	2015-09-11	Paper
Towards ``mouldable code via nested code graph transformation	2014-09-08	Paper
A Mechanised Abstract Formalisation of Concept Lattices	2014-04-16	Paper
Towards Certifiable Implementation of Graph Transformation via Relation Categories	2012-09-21	Paper
The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math”	2011-11-22	Paper
Collagories: relation-algebraic reasoning for gluing constructions	2011-07-18	Paper
Dependently-Typed Formalisation of Relation-Algebraic Abstractions	2011-06-17	Paper
Determinisation of relational substitutions in ordered categories with domain	2010-11-11	Paper
Amalgamating Pushout and Pullback Graph Transformation in Collagories	2010-10-04	Paper
Collagories for relational adhesive rewriting	2009-12-11	Paper
Bimonadic Semantics for Basic Pattern Matching Calculi	2009-04-02	Paper
Synthesizing and verifying multicore parallelism in categories of nested code graphs	2009-03-09	Paper
Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types	2008-06-19	Paper
Determinisation of Relational Substitutions in Ordered Categories with Domain	2008-05-15	Paper
Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell	2008-04-24	Paper
Functional and Logic Programming	2007-09-25	Paper
Relational Methods in Computer Science	2007-05-02	Paper
Relational and Kleene-Algebraic Methods in Computer Science	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4415067	2003-07-28	Paper
Parallel composition and decomposition of specifications	2002-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4934535	2002-02-17	Paper
Declarative term graph attribution for program generation	2001-05-13	Paper
Relational matching for graphical calculi of relations	2000-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4232785	1999-03-15	Paper
Relational treatment of term graphs with bound variables	1998-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4362891	1998-01-12	Paper

Research outcomes over time

This page was built for person: Wolfram Kahl