Skip to content

A Predicate Logic of Well-Founded Actions.

Mikle Kuchuganov

Year1994
ProceedingsLFCS

Browse the full LFCS paper archive.