Term Rewriting and All That

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Term Rewriting and All That

Franz BaaderFranz Baader,  Tobias NipkowTobias Nipkow

• ISBN: ISBN-13: 978-0521779203

Franz Baader, Tobias Nipkow
Term Rewriting and All That
Cambridge University Press, 1999

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@book{BN1999,
  author    = {Franz Baader and Tobias Nipkow},
  title     = {Term Rewriting and All That},
  publisher = {Cambridge University Press},
  year      = {1999}
}