output
19942026
most citedLOFAR: The LOw-Frequency ARray

2.7k citations

researchers with a paper here
collaborating institutions
Showing 1999 · cs.LOShow all

1 paper · 2 filters

cs.LO1999★ 3 cited

The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming

Krzysztof R. Apt, Andrea Schaerf

The aim of the Alma project is the design of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. The first stage of t…