Variable binding operators in transition system specifications

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

20 Citations (Scopus)

Original language	English
Pages (from-to)	15-45
Journal	Journal of Logic and Algebraic Programming
Volume	47
Issue number	1
DOIs	https://doi.org/10.1016/S1567-8326(00)00003-5
Publication status	Published - 2001

Access to Document

@article{2c7ada48767b47c3823945b3de0995e2,

title = "Variable binding operators in transition system specifications",

author = "C.A. Middelburg",

year = "2001",

doi = "10.1016/S1567-8326(00)00003-5",

language = "English",

volume = "47",

pages = "15--45",

journal = "Journal of Logic and Algebraic Programming",

issn = "1567-8326",

publisher = "Elsevier",

number = "1",

}