A Logical Calculus for Modelling Interferences
type: Item
instance of: scholarly article
title: A Logical Calculus for Modelling Interferences
zbMATH Open document ID: 1147.03310
DOI: 10.1007/978-3-540-75292-9_15
author: Christophe Fouqueré
published in: Theoretical Aspects of Computing – ICTAC 2007
publication date: 2008-09-17T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 5344411
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-540-75292-9 15
OpenAlex ID: W1482656429
Recommended article: A Calculus for Log-Convex Interference Functions
Recommended article: Q4964689
Recommended article: Q4842972
Recommended article: Q5691496
Recommended article: Interaction nets for linear logic
Recommended article: On interference abstractions
Recommended article: A logical process calculus
Recommended article: Computing interpolants in implicational logics
Recommended article: Sequent Calculi for Multi-modal Logic with Interaction
Recommended article: Syntactic control of interference for separation logic
description: scientific article; zbMATH DE number 5344411