Insa Stucke

Available identifiers

zbMath Open stucke.insaMaRDI QIDQ246440

List of research outcomes

Publication	Date of Publication	Type
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants	2017-07-21	Paper
Using relation-algebraic means and tool support for investigating and computing bipartitions	2017-07-04	Paper
Cardinalities of Finite Relations in Coq	2016-10-27	Paper
Cardinality of relations with applications	2016-08-16	Paper
Cardinality of relations and relational approximation algorithms	2016-03-04	Paper
Tool-Based Verification of a Relational Vertex Coloring Program	2016-01-08	Paper
Investigating and Computing Bipartitions with Algebraic Means	2016-01-08	Paper
Automated Verification of Relational While-Programs	2014-04-16	Paper

Research outcomes over time

This page was built for person: Insa Stucke