Works matching IS 09601295 AND DT 2020 AND VI 30 AND IP 6

Results: 7

Introduction to the special issue: Unification.

Published in:

2020

By:

Ayala-Rincón, Mauricio;
Balbiani, Philippe

Publication type:

Editorial

Bounded ACh unification.

Published in:

Mathematical Structures in Computer Science, 2020, v. 30, n. 6, p. 664, doi. 10.1017/S0960129520000183

By:

Eeralla, Ajay Kumar;
Lynch, Christopher

Publication type:

Article

Rewriting with generalized nominal unification.

Published in:

Mathematical Structures in Computer Science, 2020, v. 30, n. 6, p. 710, doi. 10.1017/S0960129520000122

By:

Kutz, Yunus;
Schmidt-Schauß, Manfred

Publication type:

Article

Higher-order pattern generalization modulo equational theories.

Published in:

Mathematical Structures in Computer Science, 2020, v. 30, n. 6, p. 627, doi. 10.1017/S0960129520000110

By:

Cerna, David M.;
Kutsia, Temur

Publication type:

Article

Computing knowledge in equational extensions of subterm convergent theories.

Published in:

Mathematical Structures in Computer Science, 2020, v. 30, n. 6, p. 683, doi. 10.1017/S0960129520000031

By:

Erbatur, Serdar;
Marshall, Andrew M.;
Ringeissen, Christophe

Publication type:

Article

Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond.

Published in:

Mathematical Structures in Computer Science, 2020, v. 30, n. 6, p. 572, doi. 10.1017/S0960129519000203

By:

Ghilardi, Silvio;
Santocanale, Luigi

Publication type:

Article

Extensions of unificationmodulo ACUI.

Published in:

Mathematical Structures in Computer Science, 2020, v. 30, n. 6, p. 597, doi. 10.1017/S0960129519000185

By:

Baader, Franz;
Marantidis, Pavlos;
Mottet, Antoine;
Okhotin, Alexander

Publication type:

Article