نتایج جستجو برای: decidability

تعداد نتایج: 3652  

2016
Slawomir Lasota

In Petri nets with data, every token carries a data value, and executability of a transition is conditioned by a relation between data values involved. Decidability status of various decision problems for Petri nets with data may depend on the structure of data domain. For instance, if data values are only tested for equality, decidability status of the reachability problem is unknown (but deci...

2008
Alberto Casagrande Pietro Corvaja Carla Piazza Bud Mishra

We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical modeling in many exemplar systems, both natural and engineered. Unfortunately, parallel composition, which is an atomic operator in such constructions, does not preserve the decidability of reachability. Luckily, this pape...

2013
Radu Iosif Adam Rogalewicz Jirí Simácek

Separation Logic is a widely used formalism for describing dynamically allocated linked data structures, such as lists, trees, etc. The decidability status of various fragments of the logic constitutes a long standing open problem. Current results report on techniques to decide satisfiability and validity of entailments for Separation Logic(s) over lists (possibly with data). In this paper we e...

Journal: :Journal of Computer and System Sciences 1975

Journal: :Transactions of the American Mathematical Society 1988

Journal: :Bulletin of the London Mathematical Society 2010

Journal: :American Journal of Mathematics 2020

Journal: :Journal of Computer and System Sciences 1979

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید