Apt, Krzysztof R., 1949-....
Apt, Krzysztof R.
Apt, K.R. (Krzysztof R.), 1949-
Apt, K. R.
Krzysztof R. Apt Polish computer scientist
VIAF ID: 27150160 ( Personal )
Permalink: http://viaf.org/viaf/27150160
Preferred Forms
-
- 100 1 _ ‡a Apt, K. R.
-
-
- 100 1 _ ‡a Apt, Krzysztof R.
-
-
-
- 100 1 _ ‡a Apt, Krzysztof R. ‡d 1949-
- 100 1 _ ‡a Apt, Krzysztof R., ‡d 1949-
-
-
-
- 100 1 _ ‡a Apt, Krzysztof R., ‡d 1949-
-
- 100 1 _ ‡a Apt, Krzysztof R., ‡d 1949-....
- 100 0 _ ‡a Krzysztof R. Apt ‡c Polish computer scientist
4xx's: Alternate Name Forms (18)
5xx's: Related Names (6)
- 510 2 _ ‡a Afdeling Informatica
- 510 2 _ ‡a Algorithms, Combinatorics and Optimization
- 510 2 _ ‡a Centrum voor Wiskunde en Informatica (Amsterdam)
- 510 2 _ ‡a Centrum voor Wiskunde en Informatica ‡9 g:Amsterdam ‡e Affiliation
- 510 2 _ ‡a European Research Consortium for Informatics and Mathematics
- 510 2 _ ‡a Mathematisch Centrum (Amsterdam)
Works
Title | Sources |
---|---|
ACM transactions on computational logic | |
Acyclic programs : (extended abstract) | |
Alina Margolis i stan wojenny | |
Alma-O | |
An analysis of loop checking mechanisms for logic programs | |
Appraising fairness in languages for distributed programming | |
Arithmetic classification of perfect models of stratified programs | |
Arrays, bounded quantification and iteration in logic and constraint logic programming | |
A brief history of mathematics for curious minds, 2024: | |
Completeness with finite systems of intermediate assertions for recursive program schemes | |
Contribution to the parallelism specification : CSP applications. | |
Contributions to the theory of logic programming. | |
CSCLP 2003 | |
Declarative interpretations reconsidered | |
Efficient computing of least fixpoints | |
Exercises in denotational semantics | |
Formal description of programming concepts | |
Formulas as programs | |
Foundations of computer science II | |
Foundations of deductive databases and logic programming | |
From chaotic iteration to constraint propagation | |
From universal morphisms to megabytes: a Baayen space odyssey : CWI, Amsterdam, 20 December 1994, on the occasion of the retirement of Prof.dr. P. C. Baayen, from the Stichting Mathematisch Centrum | |
Integration of functional and logic programming 18. - 22.3.1991 (9112) | |
Introduction to program verification | |
Lectures in game theory for computer scientists | |
Logic : a brief course | |
logic programming paradigm a 25 year perspective | |
Logic programming : proceedings of the joint international conference and symposium on logic programming. | |
Logica | |
Logics and Models of Concurrent Systems | |
Management of stratified databases | |
Meta-variables in logic programming, or the praise of ambivalent syntax | |
A new definition of SLDNF-resolution | |
New Perspectives on Games and Interaction | |
New trends in constraints joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25 - 27, 1999 ; selected papers | |
On the unification free Prolog programs | |
Poprawność i pełność programów w języku logiki, podejście deklaratywne | |
Principles of constraint programming | |
Programmverifikation Sequentielle, parallele und verteilte Programme | |
Proof rules dealing with fairness | |
Reasoning about termination of Prolog programs | |
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers | |
Recursive assertions are not enough, or are they? | |
Search and imperative programming | |
Second order arithmetic and related topics | |
Semantics and proof theory of PASCAL procedures | |
Semantics of the infinitistic rules of proof | |
Sets of natural numbers inductively defined with respect to analytical relations | |
A sound and complete hoare-like system for a fragment of Pascal [microvorm]/ by K.R. Apt. | |
The STO-problem is NP-hard | |
Studies in pure Prolog : termination | |
A system for distributed mechanisms: design, implementation and applications | |
TARK 13 | |
Theoretical aspects of rationality and knowledge : proceedings of the thirteenth conference (TARK 2011) | |
A theory of first-order built-in's of Prolog | |
Two normal form theorems for CSP programs | |
Using transformations to verify parallel programs | |
Verification of logic programs with delay declarations | |
Verification of sequential and concurrent programs | |
"Zeszyty Literackie" : chwila wspomnień |