MPG.eBooks - Author Search Results

Cover Image

1

Logic Program Synthesis and Transformation — Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

by Fribourg, Laurent
Published 1994

Springer

Cover Image

2

Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

by Fribourg, Laurent
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

3

Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Fribourg, Laurent...”

Cover Image

4

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Fribourg, Laurent...”

Cover Image

5

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Fribourg, Laurent...”