You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Heriot-Watt University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Heriot-Watt University

Return to search Previous output Next output

Output 34 of 91 in the submission

Article title

Higher-Order Unification : A structural relation between Huet's method and the one based on explicit substitutions

Type

D - Journal article

DOI

10.1016/j.jal.2006.10.001

Title of journal

Journal of Applied Logic

Article number

Volume number

Issue number

First page of article

ISSN of journal

1570-8683

Year of publication

2008

URL

Number of additional authors

Additional information

<11>This paper was the basis for Kamareddine's involvement in the supervision and examination of two PhD students at the university of Brasilia (Dr de Moura and Dr Ventura), and to her invitation to a professorialship at the University fo Brasilia. Based on this paper, numerous invited seminars and lectures were given by Kamareddine at various Brasilian insitutions and international events. The collaboration with Brasil based on this paper led to a number of joint involvements (e.g., summer school on term rewriting and RTA in Brasil) and a number of exchange visits between Brasil and Scotland. This

paper was also a basis for joint collaboration with the symbolic computation group of Prof Tetsuo Ida in Japan.

Interdisciplinary

Cross-referral requested

Research group

C - Rigorous Systems

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract