Used together with:
logic
(1)
theorem
(1)
first
(1)
fragment
(1)
order
(1)
Stem
lindstrom$ (
all stems
)
1 papers:
LICS-2007-CateBV
#first-order
#logic
#theorem
Lindstrom theorems for fragments of first-order logic (
BtC
,
JvB
,
JAV
), pp. 280–292.
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
.
LICS-2007-CateBV #first-order #logic #theorem
LICS-2007-CateBV #first-order #logic #theorem