BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
represent (1)
basi (1)
semant (1)
program (1)
certifi (1)

Stem metalog$ (all stems)

3 papers:

CADECADE-2003-CraryS #framework #logic
Foundational Certified Code in a Metalogical Framework (KC, SS), pp. 106–120.
ICLPICLP-1994-Jiang #logic #logic programming #semantics
Ambivalent Logic as the Semantic Basis of Metalogic Programming (YJ), pp. 387–401.
KRKR-1991-BrogiT #information management #logic #representation
Metalogic for Knowledge Representation (AB, FT), pp. 61–69.

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.