Strategies of structural synthesis of programs and its extensions

Matskin, M.; Tyugu, E. (2001). Strategies of structural synthesis of programs and its extensions. Computing and Informatics, 20 (1), 1−25.
ajakirjaartikkel
Matskin, M.; Tyugu, E.
  • Inglise
Computing and Informatics
20
1
2001
125
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)
WOS

Lisainfo

program construction, proof search strategies, structural synthesis of programs
ISI CC. Engineering, Computing and Technology; Scopus; SciSearch; Research Alert; CompuMath Citation