Skip to content

A Minimal System of Disjunctive Properties for Strictness Analysis.

Grzegorz Grudzinski

VenueA*ICALP
Year2000
ProceedingsICALP Satellite Workshops

Browse the full ICALP paper archive.