PROOFS AS STATEFUL PROGRAMS: A FIRST-ORDER LOGIC WITH ABSTRACT HOARE TRIPLES, AND AN INTERPRETATION INTO AN IMPERATIVE LANGUAGE.

Saved in:

Bibliographic Details
Title:	PROOFS AS STATEFUL PROGRAMS: A FIRST-ORDER LOGIC WITH ABSTRACT HOARE TRIPLES, AND AN INTERPRETATION INTO AN IMPERATIVE LANGUAGE.
Authors:	POWELL, THOMAS¹, trjp20@bath.ac.uk
Source:	Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 1, p1-32, 32p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.46298/LMCS-20(1:7)2024