A verification logic for rewriting logic

N. Martí-Oliet; I. Pita; J.L. Fiadeiro; J. Meseguer; T. Maibaum

doi:10.1093/logcom/exi015

A verification logic for rewriting logic

N. Martí-Oliet, I. Pita, J.L. Fiadeiro, J. Meseguer, T. Maibaum

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	317-352
Number of pages	36
Journal	Journal of Logic and Computation
Volume	15
Issue number	3
DOIs	https://doi.org/10.1093/logcom/exi015
Publication status	Published - 1 Jun 2005

Access to Document

10.1093/logcom/exi015

Cite this

@article{51ef39ba05114bc6bf03afc6d86ddbd5,

title = "A verification logic for rewriting logic",

author = "N. Mart{\'i}-Oliet and I. Pita and J.L. Fiadeiro and J. Meseguer and T. Maibaum",

year = "2005",

month = jun,

day = "1",

doi = "10.1093/logcom/exi015",

language = "English",

volume = "15",

pages = "317--352",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "3",

}

TY - JOUR

T1 - A verification logic for rewriting logic

AU - Martí-Oliet, N.

AU - Pita, I.

AU - Fiadeiro, J.L.

AU - Meseguer, J.

AU - Maibaum, T.

PY - 2005/6/1

Y1 - 2005/6/1

UR - http://www.scopus.com/inward/record.url?scp=20844440226&partnerID=8YFLogxK

U2 - 10.1093/logcom/exi015

DO - 10.1093/logcom/exi015

M3 - Article

AN - SCOPUS:20844440226

SN - 0955-792X

VL - 15

SP - 317

EP - 352

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 3

ER -

A verification logic for rewriting logic

Access to Document

Other files and links

Cite this