Works matching IS 09601295 AND DT 2000 AND VI 10 AND IP 3

¤¤-closed relations and admissibility.

Published in:

Mathematical Structures in Computer Science, 2000, v. 10, n. 3, p. 313, doi. 10.1017/s0960129500003054

By:

• ABADI, MARTÍN

Publication type:

Article