Decomposition orders-another generalisation of the fundamental theorem of arithmetic Fulltext Access 40 Pages 2005
Coalgebraic minimization of HD-automata for the Ï-calculus using polymorphic types Fulltext Access 41 Pages 2005
HASSE diagrams for classes of deterministic bottom-up tree-to-tree-series transformations Fulltext Access 41 Pages 2005
Quantum branching programs and space-bounded nonuniform quantum complexity Fulltext Access 49 Pages 2005
Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe Fulltext Access 50 Pages 2005
Adding symbolic information to picture models: definitions and properties Fulltext Access 54 Pages 2005
Alternate transition matrices for Brenti's q-symmetric functions and a class of (q,t)-symmetric functions on the hyperoctahedral group Fulltext Access 55 Pages 2005
Flows that are sums of hamiltonian cycles in Cayley graphs on abelian groups Fulltext Access 61 Pages 2005
Iteration and coiteration schemes for higher-order and nested datatypes Fulltext Access 64 Pages 2005
Tree automata with one memory set constraints and cryptographic protocols Fulltext Access 72 Pages 2005