Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

115

Voted

CSL
1994
Springer

108views Automated Reasoning» more CSL 1994»

Canonical Forms for Data-Specifications

15 years 6 months ago

Canonical Forms for Data-Specifications

Download people.cs.kuleuven.be

Frank Piessens, Eric Steegmans

Real-time Traffic

Automated Reasoning | CSL 1994 |

claim paper

Related Content

» A Canonical Form for Testing Boolean Function Properties

» Lossless scalar functions Boundary interpolation Schur algorithm and Obers canonical form

» A new canonical form for fast boolean matching in logic synthesis and verification

» Extended nonlinear observable canonical form for multioutput dynamical systems

» Reduced Canonical Forms of Stoppers

» Interconnection of Kronecker canonical form and special coordinate basis of multivariable ...

» Rational canonical form of polyphase matrices with applications to designing paraunitary f...

» Numbering matters firstorder canonical forms for secondorder recursive types

» Canonical Form Based MAP2 Fitting

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	CSL
Authors	Frank Piessens, Eric Steegmans

Comments (0)