Translating between Language and Logic: What Is Easy and What is Difficult?

TitleTranslating between Language and Logic: What Is Easy and What is Difficult?
Publication TypeConference Paper
Year of Publication2011
AuthorsRanta, A
EditorBjørner, N, Sofronie-Stokkermans, V
Conference Name CADE-23. Automated Deduction
VolumeLNCS/LNAI 6803
Pagination5-25
PublisherSpringer Verlag
Place Published http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_3
Type of WorkKeynote paper at CADE
Publication LanguageEnglish
KeywordsWP6
URLhttp://www.cse.chalmers.se/~aarne/articles/cade2011.pdf