Computer Science Logic

DOI10.1007/11538363zbMath1136.03312OpenAlexW2479351976MaRDI QIDQ5394588

Stephan Kreutzer, Julian Bradfield

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11538363

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Other nonclassical logic (03B60) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Boolean dependence logic and partially-ordered connectives ⋮ Complexity of two-variable dependence logic and IF-logic ⋮ A Logic for True Concurrency

This page was built for publication: Computer Science Logic