scientific article; zbMATH DE number 7168315

zbMath1433.68077arXiv1708.02319MaRDI QIDQ5216413

Dan R. Ghica, Khulood Alyahya

Publication date: 17 February 2020

Full work available at URL: https://arxiv.org/abs/1708.02319

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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Uses Software

• QuickCheck

This page was built for publication: