|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algorithmic issues of AND-decomposition of boolean formulas |
Emelyanov, P. G. |
2015 |
41 | 3 |
p. 162-169 |
artikel |
|
| 2 | Comparative trace semantics of time Petri nets |
Bushin, D. I. |
2015 |
41 | 3 |
p. 131-139 |
artikel |
|
| 3 | Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms |
Garanina, N. O. |
2015 |
41 | 3 |
p. 140-148 |
artikel |
|
| 4 | Pattern-based environment modeling for static verification of Linux kernel modules |
Zakharov, I. S. |
2015 |
41 | 3 |
p. 183-195 |
artikel |
|
| 5 | Proving properties of functional programs by equality saturation |
Grechanik, S. A. |
2015 |
41 | 3 |
p. 149-161 |
artikel |
|
| 6 | Supercompilation for Martin-Lof’s type theory |
Klyuchnikov, I. G. |
2015 |
41 | 3 |
p. 170-182 |
artikel |
6 gevonden resultaten