Search results

Articles (4)

Journals (0)

1-4 of 4 results for finite unification sets

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted accessResearch articleFirst published 1987

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

Marec Zaionc

Fundamenta Informaticae

Free accessResearch articleFirst published August, 2015

Sound,complete and minimal UCQ-rewriting for existential rules

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

Semantic Web: – Interoperability,Usability,Applicability

Available accessResearch articleFirst published August, 1999

A Comprehensive Setting for Matching and Unification over Iterative Terms

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

Fundamenta Informaticae

Available accessResearch articleFirst published January, 2007

Rough Sets and Learning by Unification

Wojciech Buszkowski

Fundamenta Informaticae

Search results

Articles (4)

Journals (0)

1-4 of 4 results for finite unification sets

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted accessResearch articleFirst published 1987

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

Marec Zaionc

Fundamenta Informaticae

Free accessResearch articleFirst published August, 2015

Sound,complete and minimal UCQ-rewriting for existential rules

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

Semantic Web: – Interoperability,Usability,Applicability

Available accessResearch articleFirst published August, 1999

A Comprehensive Setting for Matching and Unification over Iterative Terms

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

Fundamenta Informaticae

Available accessResearch articleFirst published January, 2007

Rough Sets and Learning by Unification

Wojciech Buszkowski

Fundamenta Informaticae