![]() | ![]() |
| 2011 | ||
|---|---|---|
| 3 | Michael Hartwig: On the Relationship between Proof Writing and Programming: Some Conclusions for Teaching Future Software Developers. ICSECS (3) 2011: 15-24 | |
| 2010 | ||
| 2 | Michael Hartwig: On the Density of Regular and Context-Free Languages. COCOON 2010: 318-327 | |
| 2008 | ||
| 1 | Michael Hartwig, Somnuk Phon-Amnuaisuk: Regular Languages up to Star Height 1 and the Difference Shrinking Acceptance Probability. TMFCS 2008: 41-48 | |
| 1 | Somnuk Phon-Amnuaisuk | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page