Solving, Reasoning, and Programming in Common Logic.

Temur Kutsia, Mircea Marin

Browse the full SYNASC paper archive.