bibliographer - Prince Mathew

bibliographer a curated TCS bibliography

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

Learning Deterministic One-Counter Automata in Polynomial Time Prince Mathew Vincent Penelle A.~V. Sreejith [github]

Equivalence of Deterministic Weighted Real-time One-Counter Automata Prince Mathew Vincent Penelle Prakash Saivasan A.~V. Sreejith [github]

Learning real-time one-counter automata using polynomially many queries Prince Mathew Vincent Penelle A.~V. Sreejith [github]

Weighted One-Deterministic-Counter Automata Prince Mathew Vincent Penelle Prakash Saivasan A.V. Sreejith [github]

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

[show logs] [hide logs]