Academic Journal
Структурные преобразования модели вычислений
| Τίτλος: | Структурные преобразования модели вычислений |
|---|---|
| Στοιχεία εκδότη: | 2010. |
| Έτος έκδοσης: | 2010 |
| Θεματικοί όροι: | математика, проблема эквивалентности, трансформационные методы, модели вычислений, технические науки, вычислительная техника |
| Περιγραφή: | О применении трансформационного метода для распознавания эквивалентности некоторых моделей вычислений. Предлагается преобразование модели, после которого измененная модель, оставаясь в классе эквивалентности, обладает единственным покрытием БелГУ yes |
| Τύπος εγγράφου: | Article |
| Γλώσσα: | Russian |
| Σύνδεσμος πρόσβασης: | https://openrepository.ru/article?id=24456 |
| Αριθμός Καταχώρησης: | edsair.httpsopenrep..3b0a7409e2d8b55f88547eb8d64f6198 |
| Βάση Δεδομένων: | OpenAIRE |
| Η περιγραφή δεν είναι διαθέσιμη |