Volume 90

1

Symbolic computation in software science

Year:
2019
Language:
english
File:
PDF, 144 KB
english, 2019
3

Aligning concepts across proof assistant libraries

Year:
2019
Language:
english
File:
PDF, 942 KB
english, 2019
4

Editorial Board

Year:
2019
Language:
english
File:
PDF, 24 KB
english, 2019
5

Using jointly geometry and algebra to determine RC-constructibility

Year:
2019
Language:
english
File:
PDF, 497 KB
english, 2019
6

Formal analysis of continuous-time systems using Fourier transform

Year:
2019
Language:
english
File:
PDF, 841 KB
english, 2019