[Baa1993] Note on the Existence of Most-general Semi-unifiers

Tree

Index

Bibliography

[Baa1993] Note on the Existence of Most-general Semi-unifiers

Baaz93APTCC (In a collection)
Author(s)	Baaz M.
Title	"Note on the Existence of Most-general Semi-unifiers"
Date	1993
In	Arithmetic, Proof Theory and Computational Complexity
Editor(s)	Clote P. and Krajícek J.
Page(s)	19--28
Publisher	Oxford University Press

BibTeX code

@incollection{Baaz93APTCC,
  publisher = {Oxford University Press},
  title = {Note on the Existence of Most-general Semi-unifiers},
  author = {Baaz, M.},
  year = {1993},
  booktitle = {Arithmetic, Proof Theory and Computational Complexity},
  pages = {19--28},
  editor = {Clote, P. and Krají{\v c}ek, J.},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug