Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 14; Issue 4

Journal of Symbolic Computation

Volume 14; Issue 4
1

An optimality result for clause form translation

Année:
1992
Langue:
english
Fichier:
PDF, 1.10 MB
english, 1992
2

An improved general E-unification method

Année:
1992
Langue:
english
Fichier:
PDF, 992 KB
english, 1992
3

Unification under a mixed prefix

Année:
1992
Langue:
english
Fichier:
PDF, 2.25 MB
english, 1992
4

Some properties of finite special string-rewriting systems

Année:
1992
Langue:
english
Fichier:
PDF, 567 KB
english, 1992
5

A field guide to equational logic

Année:
1992
Langue:
english
Fichier:
PDF, 1.64 MB
english, 1992