Translating between Language and Logic: What Is Easy and What is Difficult?
| Title | Translating between Language and Logic: What Is Easy and What is Difficult? |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Ranta, A |
| Editor | Bjørner, N, Sofronie-Stokkermans, V |
| Conference Name | CADE-23. Automated Deduction |
| Volume | LNCS/LNAI 6803 |
| Pagination | 5-25 |
| Publisher | Springer Verlag |
| Place Published | http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_3 |
| Type of Work | Keynote paper at CADE |
| Publication Language | English |
| Keywords | WP6 |
| URL | http://www.cse.chalmers.se/~aarne/articles/cade2011.pdf |
What links here
No backlinks found.
