Volume 7; Issue 4

Mathematical Structures in Computer Science

Volume 7; Issue 4
2

Invariants of inversive 2-structures on groups of labels

EHRENFEUCHT, A., HARJU, T., ROZENBERG, G.
Journal:
Mathematical Structures in Computer Science
Year:
1997
Language:
english
File:
PDF, 498 KB
english, 1997
3

Type reconstruction in Fω

URZYCZYN, PAWEŁ
Journal:
Mathematical Structures in Computer Science
Year:
1997
Language:
english
File:
PDF, 612 KB
english, 1997