Explore Books on
théorie démonstration

CafeOBJ report

By Razvan Diaconescu,Kokichi Futatsugi

The resolution calculus

By Alexander Leitsch

Foundations of Disjunctive Logic Programming

By Jorge Lobo

Proof and computation

By North Atlantic Treaty Organization

Current trends in concurrency

By J. W. De Bakker

Axiomatising the logic of computer programming

By Robert Goldblatt