Used together with:
infinitari
(1)
abstract
(1)
semant
(1)
proposit
(1)
formula
(1)
Stem
gringo$ (
all stems
)
2 papers:
ICLP-J-2015-GebserHKLS
Abstract gringo (
MG
,
AH
,
RK
,
VL
,
TS
), pp. 449–463.
KR-2014-HarrisonLY
#semantics
The Semantics of Gringo and Infinitary Propositional Formulas (
AJH
,
VL
,
FY
).
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
.