A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems

A κ-system consists of κ quadratic Diophantine equations over nonnegative integer variables s1, ..., sm, t1, ..., tn of the form: \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{u...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Xie, Gaoyan, Dang, Zhe, Ibarra, Oscar H.
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Algorithmics. Computability. Computer arithmetics Applied sciences Clock Constraint Computer science control theory systems Exact sciences and technology Execution Path Incoming Connection Linear Polynomial Regular Language Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!