Michael Hartwig

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Michael Hartwig
On the Relationship between Proof Writing and Programming: Some Conclusions for Teaching Future Software Developers. ICSECS (3) (2011)
Michael Hartwig
On the Density of Regular and Context-Free Languages. COCOON (2010)
Michael Hartwig
On the Density of Regular and Context-Free Languages. Discret. Math. Algorithms Appl. 2 (4) (2010)
Michael Hartwig, Somnuk Phon-Amnuaisuk
Regular Languages up to Star Height 1 and the Difference Shrinking Acceptance Probability. TMFCS (2008)