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:
first (2)
function (2)
order (2)
proof (2)
count (1)

Stem skolem$ (all stems)

8 papers:

KRKR-2014-BroeckMD #first-order
Skolemization for Weighted First-Order Model Counting (GVdB, WM, AD).
CSLCSL-2012-Aschieri #axiom #interactive
Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms (FA), pp. 31–45.
Meaning-preserving Skolemization (KA, EN), pp. 322–327.
CAVCAV-2011-BalabanovJ #evaluation #proving
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications (VB, JHRJ), pp. 149–164.
LICSLICS-2001-Avigad #first-order #logic
Eliminating Definitions and Skolem Functions in First-Order Logic (JA), pp. 139–146.
CADECADE-1999-GribomontS #using #validation #verification
System Description: Using OBDD’s for the validation of Skolem verification conditions (EPG, NS), pp. 222–226.
ICALPICALP-1985-Hansel #proving #theorem
A Simple Proof of the Skolem-Mahler-Lech Theorem (GH), pp. 244–249.
CADECADE-1980-CoxP #algorithm
A Complete, Nonredundant Algorithm for Reversed Skolemization (PTC, TP), pp. 374–385.

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.