scientific article; zbMATH DE number 2090855

zbMath1067.68578MaRDI QIDQ4813407

Elisa Ricci, Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Publication date: 13 August 2004

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

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

Mathematics Subject Classification ID

(n)-dimensional polytopes (52B11) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence, Applying abstract acceleration to (co-)reachability analysis of reactive programs, PPLite: zero-overhead encoding of NNC polyhedra, Automatically Refining Abstract Interpretations, Reasoning with infinite stable models

Uses Software

• HyTech