Works matching IS 09601295 AND DT 2002 AND VI 12 AND IP 2
Results: 4
Pushout complements for partly total algebras.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 2, p. 177, doi. 10.1017/S0960129501003541
- By:
- Publication type:
- Article
Normal forms for context-free node-rewriting hypergraph grammars.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 2, p. 135, doi. 10.1017/S0960129501003528
- By:
- Publication type:
- Article
String and graph reduction systems for gene assembly in ciliates.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 2, p. 113, doi. 10.1017/S0960129501003516
- By:
- Publication type:
- Article
Hypergraph construction and its application to the static analysis of concurrent systems.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 2, p. 149, doi. 10.1017/S0960129501003486
- By:
- Publication type:
- Article