Tableaux with partial caching for hybrid PDL with satisfaction statements
type: Item
instance of: scholarly article
title: Tableaux with partial caching for hybrid PDL with satisfaction statements
zbMATH Open document ID: 1444.68285
DOI: 10.1007/978-3-319-67729-3_14
author: Agathoklis Kritsimallis
publication date: 2017-11-03T00:00:00Z
Mathematics Subject Classification ID: 68V15
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68R07
Mathematics Subject Classification ID: 68W40
zbMATH DE Number: 6802666
MaRDI profile type: Publication
full work available at URL: 978-3-319-67729-3 14
OpenAlex ID: W2755841975
description: scientific article; zbMATH DE number 6802666