Daniel Wagner
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL Fundamentals of Computation Theory | 2009-10-20 | Paper |
| Bol-loops of order \(3\cdot 2^n\). | 2008-07-01 | Paper |
| Using Formal Concept Analysis in Mathematical Discovery Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
Research outcomes over time
This page was built for person: Daniel Wagner
