A Logical Characterization of Individual-Based Models.

James F. Lynch

Browse the full LICS paper archive.