MPG.eBooks - Search Results - "Logic"

Cover Image

1

Structural Complexity I

by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1988

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Cover Image

2

Structural Complexity II

by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1990

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: Advanced Seminar on F...

Published 1989

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

Structural Complexity I

by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1995

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Cover Image

5

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 : Volume 2: Advanced Seminar on Fo...

Published 1989

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Published 2014

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”