An alternative formulation of operational conservativity with binding terms

C.A. Middelburg

Research output: Contribution to journal › Article › Academic › peer-review

16 Citations (SciVal)

Original language	English
Pages (from-to)	1-19
Journal	Journal of Logic and Algebraic Programming
Volume	55
Issue number	1-2
DOIs	https://doi.org/10.1016/S1567-8326(02)00039-5
Publication status	Published - 2003

Access to Document

@article{4e3dc4acfef643d5a2171493202cc568,

title = "An alternative formulation of operational conservativity with binding terms",

author = "C.A. Middelburg",

year = "2003",

doi = "10.1016/S1567-8326(02)00039-5",

language = "English",

volume = "55",

pages = "1--19",

journal = "Journal of Logic and Algebraic Programming",

issn = "1567-8326",

publisher = "Elsevier",

number = "1-2",

}