A Distributed System for Solving Equational Constraints Based on Lazy Narrowing Calculi

Mircea Marin, Tetsuo Ida, Wolfgang Schreiner

Research output: Working paper and reports › Preprint

Name	RISC Report Series
No.	99-50

Fields of science

@techreport{506c3ab80b194659b327bef37094d68d,

title = "A Distributed System for Solving Equational Constraints Based on Lazy Narrowing Calculi",

author = "Mircea Marin and Tetsuo Ida and Wolfgang Schreiner",

year = "1999",

month = dec,

language = "English",

series = "RISC Report Series",

publisher = "RISC JKU",

number = "99-50",

type = "WorkingPaper",

institution = "RISC JKU",

}