Rewriting logic bibliography by topic: 1990--2011

DOI10.1016/J.JLAP.2012.06.001zbMath1262.03052OpenAlexW1992619090WikidataQ123905830 ScholiaQ123905830MaRDI QIDQ1931905

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

Publication date: 16 January 2013

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.06.001

zbMATH Keywords

securityreal-time systemsbioinformaticsconcurrencylogical frameworksprogramming language semanticstemporal logicsrewriting logicprobabilistic systemsformal specification and verificationnetworks and distributed systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Bibliographies for mathematics in general (00A15)

Related Items (4)

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis ⋮ Two Decades of Maude ⋮ Rewriting-based repairing strategies for XML repositories ⋮ Debugging Maude programs via runtime assertion checking and trace slicing

This page was built for publication: Rewriting logic bibliography by topic: 1990--2011