prof. RNDr. Jan Strejček, Ph.D.
Professor, Department of Computer Science
office: C414
Botanická 554/68a
602 00 Brno
phone: | +420 549 49 6941 |
---|---|
e‑mail: |
social and academic networks: |
---|
Total number of publications: 92
2001
-
Rewrite Systems with Constraints
EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency, year: 2001
2000
-
Constrained Rewrite Transition Systems
Year: 2000, type: R&D Presentation