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:
reactiv (2)
program (2)
between (1)
semant (1)
ture (1)

Stem ultrametr$ (all stems)

3 papers:

DLTDLT-2013-Freivalds #automaton #finite #turing machine
Ultrametric Finite Automata and Turing Machines (RF), pp. 1–11.
TLCATLCA-2013-SeveriV #modelling #source code
Completeness of Conversion between Reactive Programs for Ultrametric Models (PS, FJdV), pp. 221–235.
LICSLICS-2011-KrishnaswamiB #semantics #source code
Ultrametric Semantics of Reactive Programs (NRK, NB), pp. 257–266.

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.