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:
sort (3)
order (2)
between (1)
mani (1)
termin (1)

Stem unsort$ (all stems)

2 papers:

CADECADE-2011-ClaessenLS #first-order #logic
Sort It Out with Monotonicity — Translating between Many-Sorted and Unsorted First-Order Logic (KC, AL, NS), pp. 207–221.
PPDPALP-1996-OlveszkyL #order #termination
Order-Sorted Termination: The Unsorted Way (PCÖ, OL), pp. 92–106.

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.