bibliographer - Julia Robinson

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

H. Lauchli and J. Leonard. On the elementary theory of linear order. Fundamenta mathematicae, vol. 59 (1966), pp. 109--116. Julia Robinson [github]

The Decision Problem for Exponential Diophantine Equations Martin Davis Hilary Putnam Julia Robinson [github]

Definability and decision problems in arithmetic Julia Robinson [github]

'U. V. Matiásévič Diofantovosttextquotesingle péréčislimyh mnożéstv. Doklady Akadémii Nauk SSSR, vol. 191 (1970), pp. 279--282. - Ju. V. Matijasevič. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 (1970), pp. 354--357. See Errata, ibid., vol. 11 no. 6 (for 1970, pub. 1971), p. vi. Julia Robinson [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]