The cash-point service in NUT

Kotkas, V.; Küngas, P.; Harf, M. (2000). The cash-point service in NUT. Formal Aspects of Computing, 12 (4), 222−224.10.1007/PL00003931.
ajakirjaartikkel
Kotkas, V.; Küngas, P.; Harf, M.
  • Inglise
Formal Aspects of Computing
0934-5043
12
4
2000
222224
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
SCOPUS

Viited terviktekstile

dx.doi.org/10.1007/PL00003931

Lisainfo

intuitionistic logic, NUT, simulation, structural program synthesis
Scopus; INSPEC; DBLP