Retractions in comparing Prolog semantics

A. Bruin, de; E.P. Vink, de

Retractions in comparing Prolog semantics

A. Bruin, de
, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Mathematical Foundations of Computer Science (Proceedings 15th Symposium, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31,1990)
Editors	B. Rovan
Publisher	Springer
Pages	180-186
ISBN (Print)	3-540-52953-5
Publication status	Published - 1990

Publication series

Name	Lecture Notes in Computer Science
Volume	452
ISSN (Print)	0302-9743

Cite this

@inproceedings{a9b7535879394251975385defa5b3863,

title = "Retractions in comparing Prolog semantics",

author = "\{Bruin, de\}, A. and \{Vink, de\}, E.P.",

year = "1990",

language = "English",

isbn = "3-540-52953-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "180--186",

editor = "B. Rovan",

booktitle = "Mathematical Foundations of Computer Science (Proceedings 15th Symposium, MFCS'90, Bansk{\'a} Bystrica, Czechoslovakia, August 27-31,1990)",

address = "Germany",

}

Retractions in comparing Prolog semantics. / Bruin, de, A.; Vink, de, E.P.
Mathematical Foundations of Computer Science (Proceedings 15th Symposium, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31,1990). ed. / B. Rovan. Springer, 1990. p. 180-186 (Lecture Notes in Computer Science; Vol. 452).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Retractions in comparing Prolog semantics

AU - Bruin, de, A.

AU - Vink, de, E.P.

PY - 1990

Y1 - 1990

M3 - Conference contribution

SN - 3-540-52953-5

T3 - Lecture Notes in Computer Science

SP - 180

EP - 186

BT - Mathematical Foundations of Computer Science (Proceedings 15th Symposium, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31,1990)

A2 - Rovan, B.

PB - Springer

ER -