Christian Sternagel

ORCID iD
https://orcid.org/0000-0001-9864-1014
  • Country
  • Show details Hide details
Austria

Sources:
Christian Sternagel (2016-10-03)

  • Keywords
  • Show details Hide details
term rewriting, termination, confluence, completion, interactive theorem proving, program verificati

Sources:
Christian Sternagel (2016-10-03)

  • Websites
  • Show details Hide details
homepage

Sources:
Christian Sternagel (2016-10-03)

Record last modified {{lastModifiedDate}}