Dieter Bär

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1975

4 Dieter Bär: An Approach to Correctness Proofs of Programs. Elektronische Informationsverarbeitung und Kybernetik 11(4-6): 274-282 (1975)

1974

3 Dieter Bär: EXTRA - Defining Report on an Algorithmic Language for Teaching "about" Programming. Elektronische Informationsverarbeitung und Kybernetik 10(10): 577-607 (1974)

1969

2 Dieter Bär: Zur Theorie der syntaktischen Analysealgorithmen für kontextfreie Grammatiken I. Elektronische Informationsverarbeitung und Kybernetik 5(3): 171-205 (1969)

1 Dieter Bär: Zur Theorie der syntaktischen Analysealgorithmen für kontextfreie Grammatiken II. Elektronische Informationsverarbeitung und Kybernetik 5(4/5): 217-238 (1969)

	1975
4		Dieter Bär: An Approach to Correctness Proofs of Programs. Elektronische Informationsverarbeitung und Kybernetik 11(4-6): 274-282 (1975)
	1974
3		Dieter Bär: EXTRA - Defining Report on an Algorithmic Language for Teaching "about" Programming. Elektronische Informationsverarbeitung und Kybernetik 10(10): 577-607 (1974)
	1969
2		Dieter Bär: Zur Theorie der syntaktischen Analysealgorithmen für kontextfreie Grammatiken I. Elektronische Informationsverarbeitung und Kybernetik 5(3): 171-205 (1969)
1		Dieter Bär: Zur Theorie der syntaktischen Analysealgorithmen für kontextfreie Grammatiken II. Elektronische Informationsverarbeitung und Kybernetik 5(4/5): 217-238 (1969)