Similar Items: A Factorization Theorem for Forest Algebras
- Benchmarking Testing in Automated Theorem Proving
- An algebraic characterisation of Eve-positional languages
- Brik's sequence: a strange recursion
- A Theory of Hanoi Omega-Automata and Games
- Temporal Causal Models as a Model of Computation
- A Unary-to-Nonunary Transition in the Accepting-State Spectrum of Right Quotient for Permutation Automata