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:
topolog (2)
free (1)
finit (1)
number (1)
synchron (1)

Stem adic$ (all stems)

2 papers:

CAVCAV-1997-Berry #design #verification
Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design (GB), p. 303.
ICALPICALP-1985-Pin #finite #for free #monad
Finite Group Topology and p-Adic Topology for Free Monoids (JÉP), pp. 445–455.

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.