tag : declarative programming

1 publication
page_white_acrobat On Correctness and Completeness of an n Queens Program (Theory and Practice of Logic Programming, 2022) — Włodzimierz Drabent