Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
10.1007/s00224-010-9301-8 | Theory of Computing Systems |
| 2012 | |
Inversive meadows and divisive meadows | Journal of Applied Logic | 9 | 2011 | |
A thread calculus with molecular dynamics | Information and Computation |
| 1 | 2010 |
10.1017/S0960129509990314 | 2010 | |||
Program algebra with a jump-shift instruction | Journal of Applied Logic | 2 | 2008 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Thread Algebra with Prospecting Services and Foresight Patterns | Mathematics |
| 2022 |
Category | Category Repetition |
---|---|
Science: Mathematics | 1 |