scientific article; zbMATH DE number 2183396

From MaRDI portal

Publication:4681813

Jump to:navigation, search

zbMath1083.68044MaRDI QIDQ4681813

Publication date: 29 June 2005

Full work available at URL: http://d-nb.info/972341285

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

zbMATH Keywords

parameterized complexity complexity classes machine characterization model-checking problems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

This page was built for publication:

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