dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michael Hartwig Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hartwig: On the Relationship between Proof Writing and Programming: Some Conclusions for Teaching Future Software Developers. ICSECS (3) 2011: 15-24
2010
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hartwig: On the Density of Regular and Context-Free Languages. COCOON 2010: 318-327
2008
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hartwig, Somnuk Phon-Amnuaisuk: Regular Languages up to Star Height 1 and the Difference Shrinking Acceptance Probability. TMFCS 2008: 41-48

Coauthor Index

1Somnuk Phon-Amnuaisuk [1]

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page