12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Rewriting and Object-Oriented Development > 260-261
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Rewriting and Object-Oriented Development > 262-277
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Rewriting and Object-Oriented Development > 278-279