LATPub42

PublikationenPublications

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

Toggle side column

General A- and AX-Unification via Optimized Combination Procedures

Franz BaaderFranz Baader,  K. SchulzK. Schulz

Franz Baader, K. Schulz
General A- and AX-Unification via Optimized Combination Procedures
Technical Report, Universität München, volume 92-58, 1992. {CIS}-Report

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ CIS-92-58,
  author = {F. {Baader} and K. {Schulz}},
  institution = {Universit\"at M\"unchen},
  number = {92-58},
  title = {General {A}- and {AX}-Unification via Optimized Combination Procedures},
  type = {{CIS}-Report},
  year = {1992},
}