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:
finit (4)
natur (2)
binari (2)
set (2)
number (2)

Stem hereditarili$ (all stems)

5 papers:

CADECADE-2015-Paulson #automaton #finite #formal method #set #using
A Formalisation of Finite Automata Using Hereditarily Finite Sets (LCP), pp. 231–245.
PPDPPPDP-2014-Tarau #encoding
Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers (PT), pp. 31–42.
SACSAC-2014-TarauB #algorithm
Arithmetic algorithms for hereditarily binary natural numbers (PT, BPB), pp. 1593–1600.
LATALATA-2011-PolicritiT #finite #set
Well-Quasi-Ordering Hereditarily Finite Sets (AP, AIT), pp. 440–451.
SACSAC-2009-Tarau #data type #finite #haskell #morphism
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell (PT), pp. 1898–1902.

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.