and Nachum Dershowitz, “Abstract effective models”, New Developments in Computational Models (0)

by Udi Boker
Venue:Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005