The meaning of negative premises in transition system specifications. II
type: Item
instance of: scholarly article
title: The meaning of negative premises in transition system specifications. II
zbMATH Open document ID: 1072.68075
published in: The Journal of Logic and Algebraic Programming
publication date: 2004-09-08T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 2099287
zbMATH Keywords: transition systems
zbMATH Keywords: specification
zbMATH Keywords: semantics for logic programs
author: Rob van Glabbeek
MaRDI profile type: Publication
full work available at URL: j.jlap.2004.03.007
OpenAlex ID: W2109146692
cites work: Logic programming and negation: A survey
cites work: Bisimulation can't be traced
cites work: The meaning of negative premises in transition system specifications
cites work: Q3983046
cites work: The well-founded semantics for general logic programs
cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
cites work: Transition system specifications with negative premises
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Q3348437
cites work: Q3486858
cites work: Q4847024
DOI: 10.1016/J.JLAP.2004.03.007
Recommended article: The meaning of negative premises in transition system specifications
Recommended article: Q4036587
Recommended article: Q4818861
Recommended article: Transition system specifications with negative premises
Recommended article: Modular Semantics for Transition System Specifications with Negative Premises
Recommended article: Q3385651
Recommended article: Q4986263
Recommended article: Sequent systems for negative modalities
description: scientific article; zbMATH DE number 2099287