The following pages link to Kārlis Čerāns (Q1854354):
Displaying 6 items.
- Algorithmic analysis of programs with well quasi-ordered domains. (Q1854355) (← links)
- (Q2757803) (← links)
- (Q4251918) (← links)
- (Q4470536) (← links)
- Automatic construction of test sets: Theoretical approach (Q4560358) (← links)
- Deciding properties of integral relational automata (Q4632414) (← links)
