scientific article

From MaRDI portal

Revision as of 11:20, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3749041

Jump to:navigation, search

zbMath0609.03008MaRDI QIDQ3749041

No author found.

Publication date: 1985

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

zbMATH Keywords

computational complexity finite models open problems program logics

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Model theory of finite structures (03C13) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

An essay in combinatory dynamic logic

This page was built for publication:

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