scientific article; zbMATH DE number 1215467

From MaRDI portal

Publication:4215599

Jump to:navigation, search

zbMath0915.03013MaRDI QIDQ4215599

Maarten Marx

Publication date: 27 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

complexity decidability satisfiability mosaics two-dimensional modal logic cylindric modal logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4215599&oldid=18076502"