bibliographer - Conrad Cotton-Barratt

bibliographer a curated TCS bibliography

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

ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States Conrad Cotton-Barratt Andrzej S. Murawski C.-H. Luke Ong [github]

ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States Conrad Cotton-Barratt Andrzej Murawski C.-H. Luke Ong [github]

ML and Extended Branching VASS Conrad Cotton-Barratt Andrzej S. Murawski C. -H. Luke Ong [github]

Weak and Nested Class Memory Automata Conrad Cotton-Barratt Andrzej Murawski Luke Ong [github]

Fragments of ML Decidable by Nested Data Class Memory Automata Conrad Cotton-Barratt David Hopkins Andrzej S. Murawski C.-H. Luke Ong [github]

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

[show logs] [hide logs]