New Computational Paradigms

DOI10.1007/b136981zbMath1115.03023OpenAlexW2278484831MaRDI QIDQ5717062

Konrad Zdanowski, Marcin Mostowski

Publication date: 11 January 2006

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

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

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items (1)

Theories of initial segments of standard models of arithmetics and their complete extensions

This page was built for publication: New Computational Paradigms