Edsger Wybe Dijkstra : his life, work, and legacy /

Weitere Verfasser: “… Apt, Krzysztof R., 1949- …”

Volltext öffnen Volltext öffnen

Principles of constraint programming / von Apt, Krzysztof R., 1949-

Volltext öffnen

Lectures in game theory for computer scientists /

Weitere Verfasser: “… Apt, Krzysztof R., 1949- …”
Volltext öffnen

Principles of constraint programming von Apt, Krzysztof R. 1949-

Constraint logic programming using ECLiPSe von Apt, Krzysztof R. 1949-

Volltext öffnen

Arrays, bounded quantification and iteration in logic and constraint logic programming von Apt, Krzysztof R. 1949-

Program verification and Prolog von Apt, Krzysztof R. 1949-

Logic programming and negation a survey von Apt, Krzysztof R. 1949-

Declarative interpretations reconsidered von Apt, Krzysztof R. 1949-, Gabbrielli, Maurizio

Modular termination proofs for logic and pure Prolog programs von Apt, Krzysztof R. 1949-, Pedreschi, Dino

On the occur check free prolog programs von Apt, Krzysztof R. 1949-

A new definition of SLDNF resolution von Apt, Krzysztof R. 1949-

Verification of sequential and concurrent programs von Apt, Krzysztof R. 1949-, Olderog, Ernst-Rüdiger 1955-

Using transformations to verify parallel programs von Olderog, Ernst-Rüdiger 1955-, Apt, Krzysztof R. 1949-

Studies in pure Prolog termination von Apt, Krzysztof R. 1949-, Pedreschi, Dino

Volltext öffnen

An analysis of loop checking mechanisms for logic programs von Bol, Roland N., Apt, Krzysztof R. 1949-, Klop, Jan Willem 1945-

Arithmetic classification of perfect models of stratified programs von Apt, Krzysztof R. 1949-, Blair, Howard A.

Management of stratified databases von Apt, Krzysztof R. 1949-, Pugin, Jean-Marc

Countable nondeterminism and random assignment von Apt, Krzysztof R. 1949-, Plotkin, Gordon D.

A sound and complete Hoare-like system for a fragment of Pascal von Apt, Krzysztof R. 1949-