scientific article; zbMATH DE number 1929303

From MaRDI portal

Publication:4708424

Jump to:navigation, search

zbMath1014.03504MaRDI QIDQ4708424

Predrag Janičić, Ian Green, Alan Bundy

Publication date: 17 June 2003

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

zbMATH Keywords

Presburger integer arithmetic Presburger rational arithmetic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Related Items (1)

Learning Strategies for Mechanised Building of Decision Procedures

This page was built for publication:

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