Towards a Verification Logic for Rewriting Logic Conferences

authors

• Fiadeiro, José Luis
• Maibaum, Thomas
• Martí-Oliet, Narciso
• Meseguer, Jose
• Pita, Isabel

status

• published 

publication date

• 2000

has subject area

• Artificial Intelligence & Image Processing (Science Metrix)

published in

• Lecture Notes in Computer Science  Journal

keywords

• 46 Information and Computing Sciences
• 4602 Artificial Intelligence

Digital Object Identifier (DOI)

• 10.1007/978-3-540-44616-3_25

International Standard Book Number (ISBN) 10

• 3-540-67898-0

International Standard Book Number (ISBN) 13

• 9783540678984

start page

• 438

end page

• 458

volume

• 1827