bibliographer - Yuri Matiyasevich

bibliographer a curated TCS bibliography

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

Mathematical Proof Between Generations Jonas Bayer Christoph Benzmuller Kevin Buzzard Marco David Leslie Lamport Yuri Matiyasevich Lawrence Paulson Dierk Schleicher Benedikt Stock Efim Zelmanov [github]

Decision Problems for Semi-Thue Systems with a Few Rules Yuri Matiyasevich Geraud Senizergues [github]

Word problem for Thue systems with a few relations Yuri Matiyasevich [github]

Library Size: 13G (3 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]