Filtrování

    2001

    1. Rewrite Systems with Constraints
      STREJČEK, Jan. Rewrite Systems with Constraints. In EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency. Aalborg (Denmark): Elsevier Science, 2001, s. 1-20.
      Podrobněji: https://is.muni.cz/publication/376592/cs

    2000

    1. Constrained Rewrite Transition Systems
      STREJČEK, Jan. Constrained Rewrite Transition Systems. Brno: FI MU, 2000. Report Series, FIMU-RS-2000-12.
      Podrobněji: https://is.muni.cz/publication/345344/cs
Zobrazit podrobně