scientific article; zbMATH DE number 2090860

zbMath1067.68054MaRDI QIDQ4813414

Viktor Kuncak, Martin C. Rinard

Publication date: 13 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2694/26940418.htm

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Data structures (68P05)

Related Items (2)

Deciding Boolean algebra with Presburger arithmetic ⋮ Solving quantified linear arithmetic by counterexample-guided instantiation

This page was built for publication: