Collaborated with:Z.Ésik K.Sutner
Talks about:algebra (2) shuffl (2) equat (2) axiomatiz (1) parallel (1) nonfinit (1) abstract (1) transit (1) system (1) linear (1)
Person: Stephen L. Bloom
DBLP: Bloom:Stephen_L=
Contributed to:
2011
198919911995Wrote 4 papers:
- DLT-J-2009-BloomE11 #algebra #linear #order
- Algebraic Linear Orderings (SLB, ZÉ), pp. 491–515.
- CAAP-1989-BloomS #equation #parallel #petri net
- Shuffle Equations, Parallel Transition Systems and Equational Petri Nets (SLB, KS), pp. 134–148.
- CAAP-1991-BloomE #algebra
- Iteration Algebras (Extended Abstract) (SLB, ZÉ), pp. 264–274.
- TAPSOFT-1995-BloomE #axiom
- Nonfinite Axiomatizability of Shuffle Inequalities (SLB, ZÉ), pp. 318–333.