bibliographer - Thanases Pheidas

bibliographer a curated TCS bibliography

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

Undecidable existential theories of polynomial rings and function fields Thanases Pheidas Karim Zahidi [github]

An undecidability result for power series rings of positive characteristic. II Thanases Pheidas [github]

Decidability of the theory of addition and the Frobenius map in rings of rational functions Dimitra Chompitaki Manos Kamarianakis Thanases Pheidas [github]

Decision problems in Algebra and analogues of Hilberts tenth problem Thanases Pheidas Karim Zahidi [github]

Hilbert's Tenth Problem for fields of rational functions over finite fields Thanases Pheidas [github]

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

[show logs] [hide logs]