MPG.eBooks - Author Search Results

Cover Image

1

Recent Advances in Constraints : Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2,...

by Apt, Krzysztof R
Published 2004

Springer Berlin Heidelberg

Cover Image

2

New Trends in Constraints : Joint ERCIMCompulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers

by Apt, Krzysztof R
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

3

Logic programming languages : constraints, functions, and objects

by Apt, Krzysztof R.
Published 1993

MIT Press

Cover Image

4

Foundations of deductive databases and logic programming

by Apt, Krzysztof R.
Published 1988

M. Kaufmann Publishers

Cover Image

5

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1991

Springer New York

Cover Image

6

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1997

Springer New York

Cover Image

7

Programmverifikation : Sequentielle, parallele und verteilte Programme

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994

Springer Berlin Heidelberg

Cover Image

8

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger
Published 2009

Springer London

Cover Image

9

Logics and Models of Concurrent Systems

Published 1985

Springer Berlin Heidelberg

Other Authors: “...Apt, Krzysztof R....”

Cover Image

10

New Trends in Constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Apt, Krzysztof R....”

Cover Image

11

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2...

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Apt, Krzysztof R....”

Cover Image

12

The Logic Programming Paradigm : A 25-Year Perspective

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Apt, Krzysztof R....”