Contributions to Conferences

back

SAT-Based Loop Detection in Graph Rewriting


Authors

  • Ermler, M.

Meta information [BibTeX]

  • Year: 2013, Reviewed
  • Waldmann, J. (Editors)
  • In: 13th International Workshop on Termination (WST 2013)
  • Conference: 13th International Workshop on Termination (WST 2013) in Bertinoro, Italy (August 29-31, 2013)
  • Pages: 46-50
  • ePublication



Arbeitsgruppe Theoretical Computer Science



Ermler, M.
SAT-Based Loop Detection in Graph Rewriting
In: Waldmann, J. (eds.): 13th International Workshop on Termination (WST 2013). 2013, pp. 46-50
(Workgroup: Theoretical Computer Science)
BibTeX Close


Download as .bib