Skip to content

An Algebraic Presentation of Predicate Logic - (Extended Abstract).

Sam Staton

Year2013
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.