An extension of fixpoint logic with a symmetry-based choice construct
type: Item
instance of: scholarly article
title: An extension of fixpoint logic with a symmetry-based choice construct
zbMATH Open document ID: 0915.68043
author: F. Gire
author: H. K. Hoang
published in: Information and Computation
publication date: 1999-06-22T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1220703
zbMATH Keywords: restricted non-determinism
zbMATH Keywords: symmetry-based choice operator
MaRDI profile type: Publication
full work available at URL: inco.1998.2712
OpenAlex ID: W1966941526
cites work: Non-determinism in logic-based languages
cites work: Computable queries for relational data bases
cites work: Structure and complexity of relational queries
cites work: Q4052071
cites work: Expressiveness of efficient semi-deterministic choice constructs
cites work: Upper and lower bounds for first order expressibility
cites work: Relational queries computable in polynomial time
cites work: Languages that Capture Complexity Classes
DOI: 10.1006/INCO.1998.2712
description: scientific article; zbMATH DE number 1220703