Invariants for Parameterised Boolean Equation Systems

Theoretical Computer Science - Netherlands
doi 10.1016/j.tcs.2009.11.001
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Solving Disjunctive/Conjunctive Boolean Equation Systems With Alternating Fixed Points

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Constructing Invariants for Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Local Unitary Invariants for Multipartite Quantum Systems

Communications in Theoretical Physics
AstronomyPhysics
2014English

Incremental Generation of Linear Invariants for Component-Based Systems

2013English

Structural Invariants of Two-Dimensional Systems

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2012English

Structural Invariants of 2-D Systems**

IFAC Proceedings Volumes
2011English

Perturbation to Noether Symmetries and Adiabatic Invariants for Birkhoffian Systems

Mathematical Problems in Engineering
MathematicsEngineering
2015English

Parameterised Structured Light Imaging for Depth Edge Detection

Electronics Letters
Electronic EngineeringElectrical
2010English

Symplectic Invariants for Parabolic Orbits and Cusp Singularities of Integrable Systems

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy