Tour
News
People
Projects
Events
Publications
Krzysztof R. Apt
Latest
Programming in textsfAlma-0, or Imperative and Declarative Programming Reconciled
The textsfAlma Project, or How First-Order Logic Can Help Us in Imperative Programming
textsfAlma-0: An Imperative Language that Supports Declarative Programming
Search and Imperative Programming
textsfAlma-0: An Imperative Language that Supports Declarative Programming
Cite
×