Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: decision procedure

Sortuj według:

Ogranicz wyniki do:

Decidability of Several Concepts of Finiteness for Simple Types

Santo José Espírito, Matthes Ralph, Pinto Luís

Fundamenta Informaticae

2019

Vol. 170, nr 1-3

111--138

If we consider as “member” of a simple type the outcome of any successful (possibly infinite) run of bottom-up proof search that starts from the type, then several concepts of “finiteness” for simple types are possible: the finiteness of the search space, the finiteness of any member, or the finiteness of the number of finite members (in other words, the inhabitants). In this paper we show that these three concepts are instances of the same parameterized notion of finiteness, and that a single, parameterized proof shows the decidability of all of them. One instance of this result means that termination of proof search is decidable. A separate result is that emptiness is also decidable (where emptiness is absence of “members” as above, not just absence of inhabitants). This fact is an ingredient of the main decidability result, but it also has a different application, the definition of the pruned search space - the one where branches leading to failure are chopped off. We conclude with our version of König’s lemma for simple types: a simple type has an infinite member exactly when the pruned search space is infinite.

Uzyskiwanie opinii o konieczności przeprowadzania oceny oddziaływania inwestycji budowlanej na obszar Natura 2000

Harasymiuk J., Tyburski J.

Materiały Budowlane

2017

nr 10

62--64

Uzyskanie przez inwestora opinii o konieczności przeprowadzenia oceny oddziaływania inwestycji na obszar Natura 2000 to kluczowy element oceny habitatowej. Opinia ta jest wydawana przez organ uprawniony do kontroli przebiegu procesów inwestycyjno-budowlanych pod kątem ochrony środowiska i może poprzedzać wydanie zezwolenia na realizację inwestycji budowlanej na obszarach cennych przyrodniczo. Przeprowadzona kwerenda archiwalno-biblioteczna wykazała brak jednoznacznych kryteriów stanowiących podstawę wydawania takich opinii oraz brak wymagań czasowych odnośnie do ich udostępnienia inwestorom, co może wpływać na wydłużenie procesu inwestycyjnego. Celem badań była analiza opinii o zasadności oceny oddziaływania inwestycji budowlanej na obszar Natura 2000 wydanych przez Regionalną Dyrekcję Ochrony Środowiska w Olsztynie w latach 2013 – 2015 w odniesieniu do wytycznych metodycznych ich wydawania oraz czasu wymaganego na ich uzyskanie przez inwestorów.

Receiving an opinion on the necessity of an assessment of the environmental impact in an area of Natura 2000 by an investor is a key element of habitat evaluation. The opinion is given by a governmental body which is authorized to control the process of construction from the viewpoint of environment protection and it can precede the issue of a building permit in the areas of a special natural value. An archival-library inquiry showed the lack of univocal criteria being a basis of issuing such opinions as well as the lack of time requirements of their access for the investors which may lead to prolongation of the investment process. The aim of the study is an analysis of opinions on the grounds of the assessments of an environmental impact of building investments in Natura 2000 areas given by the Regional Management of Environment Protection in Olsztyn in the years of 2013-2015 in the respect of the methodological bases concerning their issuing and the required time of their receiving by investors.