Deletion of redundant unary type predicates from logic programs

JP Gallagher; DA De Waal

Deletion of redundant unary type predicates from logic programs

JP Gallagher, DA De Waal

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	Deletion of redundant unary type predicates from logic programs
Original language	English
Title of host publication	Unknown
Pages	151 - 167
Number of pages	16
Publication status	Published - 1993

Bibliographical note

Conference Proceedings/Title of Journal: Logic Program Synthesis and Transformation
Other: Manchester, 1992. Publisher, Springer-Verlag (Workshops in Computing), Eds K-K. Lau and T. Clement

Handle.net

Persistent link

Cite this

@inproceedings{26728bc1de9b4b92b978d16739f937ba,

title = "Deletion of redundant unary type predicates from logic programs",

author = "JP Gallagher and \{De Waal\}, DA",

note = "Conference Proceedings/Title of Journal: Logic Program Synthesis and Transformation Other: Manchester, 1992. Publisher, Springer-Verlag (Workshops in Computing), Eds K-K. Lau and T. Clement",

year = "1993",

language = "English",

isbn = "354018067",

pages = "151 -- 167",

booktitle = "Unknown",

}

TY - GEN

T1 - Deletion of redundant unary type predicates from logic programs

AU - Gallagher, JP

AU - De Waal, DA

N1 - Conference Proceedings/Title of Journal: Logic Program Synthesis and Transformation Other: Manchester, 1992. Publisher, Springer-Verlag (Workshops in Computing), Eds K-K. Lau and T. Clement

PY - 1993

Y1 - 1993

M3 - Conference Contribution (Conference Proceeding)

SN - 354018067

SP - 151

EP - 167

BT - Unknown

ER -