Techreport,

Comparing Asynchronous Cellular Automata for Pomsets and First Order Logic

.
preprint, MATH-AL-6-1997. TU Dresden, (1997)

Meta data

Tags

Users

  • @algebradresden

Comments and Reviews