Skip to content
cs-conference-ranking.org

Temporal Reasoning and Termination of Programs.

Luis Farias del Cerro

VenueA*IJCAI
Year1983
ProceedingsIJCAI
DBLP recordconf/ijcai/Cerro83 ↗

Browse the full IJCAI paper archive.