3044 search results - page 43 / 609 » Linear logical approximations |
SIAMCO
2000
13 years 8 months ago
2000
In this paper an approximation scheme is developed for the solution of the Linear Quadratic Gaussian (LQG) control on a
ICTCS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
AMAST
2004
Springer
14 years 16 days ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
AIML
2008
13 years 10 months ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...