MPG.eBooks - Author Search Results

Cover Image

1

Introduction to coalgebra : towards mathematics of states and observation

by Jacobs, Bart
Published 2017

Cambridge University Press

Cover Image

2

Categorical logic and type theory

by Jacobs, Bart
Published 1999

Elsevier Science

Cover Image

3

Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of S...

Published 2016

Springer Berlin Heidelberg

Other Authors: “...Jacobs, Bart...”

Cover Image

4

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 200...

Published 2002

Springer US

Other Authors: “...Jacobs, Bart...”