Making ``stricterness'' more relevant

S. Holdermans, J. Hage

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

Original language	Undefined/Unknown
Pages (from-to)	315-335
Number of pages	21
Journal	Higher-Order and Symbolic Computation
Volume	23
DOIs	https://doi.org/10.1007/s10990-011-9079-7
Publication status	Published - 2011

Access to Document

@article{08e1e134bf5247bbbc0c6eb9f40fc99b,

title = "Making ``stricterness'' more relevant",

author = "S. Holdermans and J. Hage",

note = "holdermans11makingstricterness-jnl",

year = "2011",

doi = "10.1007/s10990-011-9079-7",

language = "Undefined/Unknown",

volume = "23",

pages = "315--335",

journal = "Higher-Order and Symbolic Computation",

issn = "1573-0557",

publisher = "Springer Netherlands",

}