scientific article; zbMATH DE number 7650219

DOI10.4230/LIPIcs.IPEC.2019.11MaRDI QIDQ5875543

Jan Dreier, Peter Rossmanith

Publication date: 3 February 2023

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

zbMATH Keywords

random graphsFO model-checking

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Algorithms in computer science (68Wxx) Parameterized complexity, tractability and kernelization (68Q27)

Related Items (1)

First-Order Model-Checking in Random Graphs and Complex Networks

This page was built for publication: