Works matching IS 00015903 AND DT 1996 AND VI 33 AND IP 7
Results: 6
Parallel integer sorting and simulation amongst CRCW models.
- Published in:
- Acta Informatica, 1996, v. 33, n. 7, p. 607, doi. 10.1007/s002360050061
- By:
- Publication type:
- Article
Trial and Error: A new approach to space-bounded learning.
- Published in:
- Acta Informatica, 1996, v. 33, n. 7, p. 621, doi. 10.1007/BF03036467
- By:
- Publication type:
- Article
An observation on suffix redundancy in LL(1) error repair.
- Published in:
- Acta Informatica, 1996, v. 33, n. 7, p. 631, doi. 10.1007/s002360050063
- By:
- Publication type:
- Article
Axiomatizing the algebra of net computations and processes.
- Published in:
- Acta Informatica, 1996, v. 33, n. 7, p. 641, doi. 10.1007/s002360050064
- By:
- Publication type:
- Article
On the analysis of Petri nets with static priorities.
- Published in:
- Acta Informatica, 1996, v. 33, n. 7, p. 669, doi. 10.1007/s002360050065
- By:
- Publication type:
- Article
Reduction rules for time Petri nets.
- Published in:
- Acta Informatica, 1996, v. 33, n. 7, p. 687, doi. 10.1007/s002360050066
- By:
- Publication type:
- Article