Skip to content

A First Order Logic for Partial Functions (Extended Abstract).

Francisca Lucio-Carrasco, Antonio Gavilanes-Franco

VenueASTACS
Year1989
ProceedingsSTACS

Browse the full STACS paper archive.