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