scientific article; zbMATH DE number 733393

From MaRDI portal

Publication:4325781

Jump to:navigation, search

zbMath0854.03040MaRDI QIDQ4325781

Johann A. Makowsky

Publication date: 13 January 1997

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

zbMATH Keywords

computational complexity preservation Kripke structures satisfiability categoricity implicit definability 0--1 laws input/output behaviour of programs spectrum problems

Mathematics Subject Classification ID

Model theory (03C99) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Basic properties of first-order languages and structures (03C07) Theory of computing (68Qxx)

Related Items (2)

Farrell polynomials on graphs of bounded tree width ⋮ Logic as a methodological discipline

This page was built for publication:

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