[BS1995] Semi-Unification and Generalizations of a Particularly Simple Form

Tree

Index

Bibliography

[BS1995] Semi-Unification and Generalizations of a Particularly Simple Form

BaazSalz95CSL (In proceedings)
Author(s)	Baaz M. and Salzer G.
Title	"Semi-Unification and Generalizations of a Particularly Simple Form"
Date	1995
In	Proc. 8th Workshop CSL'94
Editor(s)	Pacholski L. and Tiuryn J.
Series	LNCS 933
Page(s)	106--120
Publisher	Springer

BibTeX code

@inproceedings{BaazSalz95CSL,
  title = {Semi-Unification and Generalizations of a Particularly Simple Form},
  year = {1995},
  booktitle = {Proc. 8th Workshop CSL'94},
  pages = {106--120},
  editor = {Pacholski, L. and Tiuryn, J.},
  publisher = {Springer},
  author = {Baaz, M. and Salzer, G.},
  series = {LNCS˜933},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug