Filters
A pressure of supermarkets in customer deciding
Action of supermarket in customers deciding; implements, which are used for manipulation with customers.
AE - Řízení, správa a administrativa
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Languages, decidability, and complexity
This chapter presents a brief introduction to the theory of automata, formal languages, decidability, and complexity.
BA - Obecná matematika
- 2013 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
On decidability of intermediate levels of concatenation hierarchies
It is proved that if definability of regular languages in the Sigma_n fragment of the first-order logic on finite words is decidable, then it is decidable also for the Delta_{n+1} fragment. In particular, the decidability f...
BA - Obecná matematika
- 2015 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Everything about decidous shrubs
In firs part of this book are characterize aesthetical, biological and grower values of decidous shrubs. In picture´s part are photos with dendrological description. The particular taxa of decidous shrubs are set up according to lat...
EF - Botanika
- 2004 •
- B
Rok uplatnění
B - Odborná kniha
The Informational and Organizational Support of Management
The article is about deciding in management. The first partis about informational support of deciding and the second one described a small research about organizational structures.Organizational structure is a suport for decidin...
AE - Řízení, správa a administrativa
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Catalonia, Basque Country and the Right to Decide on relation with Spain
The article focuses on the Basque and Catalonian separatism in the Spanish state of autonomies. It analysis the right to decide together with the request to call on a referendum about the independency, how the Constitutional Court decide...
Political science
- 2018 •
- Jost
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
The Decidability Borderline for Model Checking of LTL+Past and Process Rewrite Systems is determined.
IN - Informatika
- 2007 •
- O
Rok uplatnění
O - Ostatní výsledky
Phytoseiid mites on the foliage of decidous woody
Phytoseiid mites on the foliage of decidous woody...
GF - Choroby, škůdci, plevely a ochrana rostlin
- 2000 •
- C
Rok uplatnění
C - Kapitola v odborné knize
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
The Decidability Borderline for Model Checking of LTL+Past and Weakly--Extended Process Rewrite Systems is determined.
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
The Tree Width of Separation Logic with Recursive Definitions
allocated linked data structures, such as lists, trees, etc. The decidability status results report on techniques to decide satisfiability and validity of entailments general decidability result. We prove that any Separati...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2013 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 6 185