bibliographer - Albert R. Meyer

bibliographer a curated TCS bibliography

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

Bisimulation cant be traced Bard Bloom Sorin Istrail Albert R. Meyer [github]

On Time-Space Classes and Their Relation to the Theory of Real Addition Anni R. Bruss Albert R. Meyer [github]

Weak monadic second order theory of succesor is not elementary-recursive Albert R. Meyer [github]

Cosmological Lower Bound on the Circuit Complexity of a Small Problem in Logic Larry Stockmeyer Albert R. Meyer [github]

Counter machines and counter languages Patrick C. Fischer Albert R. Meyer Arnold L. Rosenberg [github]

Type is Not a Type Albert R. Meyer Mark B. Reinhold [github]

What is a model of the lambda calculus Albert R. Meyer [github]

The complexity of the word problems for commutative semigroups and polynomial ideals Ernst W Mayr Albert R Meyer [github]

The Complexity of the Finite Containment Problem for Petri Nets Ernst W. Mayr Albert R. Meyer [github]

Weak monadic second order theory of succesor is not elementary-recursive Albert R. Meyer [github]

A Note on Star-Free Events Albert R. Meyer [github]

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

[show logs] [hide logs]