|
|
by Ehrig, Hartmut, Mahr, Bernd, Cornelius, Felix, Große-Rhode, Martin
Published 1999
Subjects:
“...Mathematical Logic and Formal Languages...”Published 1999
Springer Berlin Heidelberg
|
|
by Ehrig, Hartmut, Mahr, Bernd, Cornelius, F., Große-Rhode, Martin
Published 2001
Subjects:
“...Mathematical logic...”Published 2001
Springer Berlin Heidelberg
|
|
by Ehrig, Hartmut, Ehrig, Karsten, Prange, Ulrike, Taentzer, Gabriele
Published 2006
Subjects:
“...Computer Science Logic and Foundations of Programming...”Published 2006
Springer Berlin Heidelberg
- 1
- 2