Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories

Authors
Publication date 1999
Journal Lecture Notes in Computer Science
Volume | Issue number 1577
Pages (from-to) 98-113
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Note volume 1577 of Lecture Notes in Computer Science Proceedings title: Proceedings 2nd Conference on Fundamental Approaches to Software Engineering Publisher: Springer Verlag Place of publication: Amsterdam Editors: J.P. Finance
Permalink to this page
Back