Mathematical Foundations of Computer Science 2005

DOI10.1007/11549345zbMath1156.68623OpenAlexW2494705596MaRDI QIDQ5492863

Andrei Voronkov, Dmitri Leonidovich Chubarov

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11549345

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Integer programming (90C10) Linear inequalities of matrices (15A39)

Related Items (2)

Design of supervisors for linear marking specifications in labeled Petri nets ⋮ Stop-transitions of Petri Nets*

Uses Software

• HyTech

This page was built for publication: Mathematical Foundations of Computer Science 2005