King's College London

Research portal

Second-Order Quantifier Elimination

Research output: Book/ReportBook

Dov Gabbay, R Schmidt, A Szalas

Original languageEnglish
PublisherCollege Publications
ISBN (Print)978-1-904987-56-7
Publication statusPublished - 2008

King's Authors

Research Groups

  • King's College London

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454