An alternative formulation of operational conservativity with binding terms

C.A. Middelburg

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)
Original languageEnglish
Pages (from-to)1-19
JournalJournal of Logic and Algebraic Programming
Volume55
Issue number1-2
DOIs
Publication statusPublished - 2003

Cite this