Volume 30; Issue 4

Acta Informatica

Volume 30; Issue 4
1

OBSCUREa specification language for abstract data types

Year:
1993
Language:
english
File:
PDF, 2.30 MB
english, 1993
2

On the synchronization in parallel communicating grammar systems

Year:
1993
Language:
english
File:
PDF, 848 KB
english, 1993
3

Speeding up dynamic transitive closure for bounded degree graphs

Year:
1993
Language:
english
File:
PDF, 974 KB
english, 1993
4

Unavoidable binary patterns

Year:
1993
Language:
english
File:
PDF, 558 KB
english, 1993
5

Satisfiability of co-nested formulas

Year:
1993
Language:
english
File:
PDF, 337 KB
english, 1993