Simple view
Full metadata view
Authors
Statistics
Quasi-decidability of a fragment of the first-order theory of real numbers
Journal
Journal of Automated Reasoning
25
Author
Franek Peter
Ratschan Stefan
Zgliczyński Piotr
Volume
57
Issue
2
Pages
157-185
ISSN
0168-7433
eISSN
1573-0670
Language
English
Container language
English
Affiliation
Wydział Matematyki i Informatyki : Instytut Informatyki i Matematyki Komputerowej
WoS citations
2
cris.lastimport.wos | 2024-04-09T18:37:58Z | |
dc.affiliation | Wydział Matematyki i Informatyki : Instytut Informatyki i Matematyki Komputerowej | pl |
dc.contributor.author | Franek, Peter | pl |
dc.contributor.author | Ratschan, Stefan | pl |
dc.contributor.author | Zgliczyński, Piotr - 132902 | pl |
dc.date.accessioned | 2017-01-13T06:33:19Z | |
dc.date.available | 2017-01-13T06:33:19Z | |
dc.date.issued | 2016 | pl |
dc.description.number | 2 | pl |
dc.description.physical | 157-185 | pl |
dc.description.volume | 57 | pl |
dc.identifier.doi | 10.1007/s10817-015-9351-3 | pl |
dc.identifier.eissn | 1573-0670 | pl |
dc.identifier.issn | 0168-7433 | pl |
dc.identifier.uri | http://ruj.uj.edu.pl/xmlui/handle/item/35282 | |
dc.language | eng | pl |
dc.language.container | eng | pl |
dc.rights | Dodaję tylko opis bibliograficzny | * |
dc.rights.licence | bez licencji | |
dc.rights.uri | * | |
dc.subtype | Article | pl |
dc.title | Quasi-decidability of a fragment of the first-order theory of real numbers | pl |
dc.title.journal | Journal of Automated Reasoning | pl |
dc.type | JournalArticle | pl |
dspace.entity.type | Publication |