Search results

Articles (4)

Journals (0)

1-4 of 4 results for finite unification sets

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 1987

The Regular Expression Descriptions of Unifier Set in the Typed λ -Calculus

Marec Zaionc

Fundamenta Informaticae

Free access

Research article

First published 2015-8

Mélanie König, Michel Leclère, Marie-Laure Mugnier [...]

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 1999-8

B. Intrigila, P. Inverardi, M. Venturini Zilli

Fundamenta Informaticae

Retricted access

Research article

First published 2007-1

Wojciech Buszkowski

Fundamenta Informaticae