MPG.eBooks - Search Results

1

Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

by Möller, Bernhard
Published 1995

Springer

Read Now

2

Mathematics of Program Construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

“... of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures...”

Read Now

3

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

by Dowek, Gilles
Published 1996

Springer

Read Now

4

Mathematics of Program Construction : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

by Boiten, Eerke A
Published 2002

Springer-Verlag Berlin Heidelberg

Read Now

5

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Published 1996

Springer Berlin Heidelberg

“... in Paderborn, Germany, in September 1995. The 14 research papers included, together with an invited paper...”

Read Now

6

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...

by Berghammer, R
Published 2004

Springer Berlin Heidelberg

Read Now

7

Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Klee...

Published 2008

Springer Berlin Heidelberg

Read Now

8

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...

Published 2004

Springer Berlin Heidelberg

Narrow Search