HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alan Smaill

Publications
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill (editors)
EPiC Series in Computing, volume 17
Theory Exploration: a role for Model Theory?
Alan Smaill
In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation

Keyphrases

model theory, saturation, theory exploration.

Copyright © 2012-2023 easychair.org. All rights reserved.