Piotr Hoffman
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 |
|---|---|---|
| Verifying generative Casl architectural specifications. Lecture Notes in Computer Science | 2010-04-20 | Paper |
| Datatypes in Memory Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
| Unions of Equational Monadic Theories Lecture Notes in Computer Science | 2008-09-25 | Paper |
| A PROOF OF ISBELL’S ZIGZAG THEOREM Journal of the Australian Mathematical Society | 2008-08-15 | Paper |
| Reachability in Unions of Commutative Rewriting Systems Is Decidable STACS 2007 | 2007-09-03 | Paper |
| Term Rewriting and Applications Lecture Notes in Computer Science | 2005-11-11 | Paper |
| Amalgamation in the semantics of CASL Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2079671 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 1834668 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1693525 (Why is no real title available?) | 2002-01-22 | Paper |
Research outcomes over time
This page was built for person: Piotr Hoffman
