Sági, Gábor and Horváth, Ramón (2017) Non-computable Models of Certain First Order Theories. In: INFORMATICS 2017. IEEE Hungary Section, Košice, pp. 306-312. ISBN 978-1-5386-0888-3
|
Text
Compmodel2.pdf Download (108kB) | Preview |
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 30 Jan 2018 15:53 |
| Last Modified: | 30 Jan 2018 15:53 |
| URI: | http://real.mtak.hu/id/eprint/73607 |
Actions (login required)
 |
Edit Item |
