TABLOG: The Deductive-Tableau Programming Language
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Yonathan Malachi, Zohar Manna, Richard J. Waldinger
TABLOG: The Deductive-Tableau Programming Language
LISP, 1984.

LFP 1984
Full names Links ISxN
	author        = "Yonathan Malachi and Zohar Manna and Richard J. Waldinger",
	booktitle     = "{Proceedings of the 1984 ACM Conference on LISP and Functional Programming}",
	pages         = "323--330",
	title         = "{TABLOG: The Deductive-Tableau Programming Language}",
	year          = 1984,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.