A Note on Unification Type Zero
From International Center for Computational Logic
A Note on Unification Type Zero
Franz BaaderFranz Baader
![A Note on Unification Type Zero A Note on Unification Type Zero](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Franz Baader
A Note on Unification Type Zero
Information Processing Letters, 27:91-93, 1988
A Note on Unification Type Zero
Information Processing Letters, 27:91-93, 1988
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ Baader-IPL-88,
author = {F. {Baader}},
journal = {Information Processing Letters},
pages = {91--93},
title = {A Note on Unification Type Zero},
volume = {27},
year = {1988},
}