Wolfgang Gehrke
From MaRDI portal
Person:1595927
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 |
|---|---|---|
| Problems in rewriting applied to categorical concepts by the example of a computational comonad Rewriting Techniques and Applications | 2022-12-09 | Paper |
| Non-equilibrium dynamics of a dissipative two-site Hubbard model simulated on IBM quantum computers Journal of Physics A: Mathematical and Theoretical | 2022-11-16 | Paper |
| Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints Journal of Automated Reasoning | 2001-02-18 | Paper |
Research outcomes over time
This page was built for person: Wolfgang Gehrke
