Rewriting logic bibliography by topic: 1990--2011
type: Item
instance of: scholarly article
title: Rewriting logic bibliography by topic: 1990--2011
zbMATH Open document ID: 1262.03052
author: Narciso Martí-Oliet
author: Miguel Palomino
author: Alberto Verdejo
published in: The Journal of Logic and Algebraic Programming
publication date: 2013-01-16T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 00A15
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6126073
zbMATH Keywords: rewriting logic
zbMATH Keywords: concurrency
zbMATH Keywords: logical frameworks
zbMATH Keywords: temporal logics
zbMATH Keywords: formal specification and verification
zbMATH Keywords: programming language semantics
zbMATH Keywords: networks and distributed systems
zbMATH Keywords: real-time systems
zbMATH Keywords: probabilistic systems
zbMATH Keywords: security
zbMATH Keywords: bioinformatics
MaRDI profile type: Publication
full work available at URL: j.jlap.2012.06.001
OpenAlex ID: W1992619090
Wikidata QID: Q123905830
DOI: 10.1016/J.JLAP.2012.06.001
description: scientific article; zbMATH DE number 6126073