SIGLETIB: RN 3147 (84) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Tree sets are abstract structures that can be used to model various tree-shaped objects in combinato...
The theory of finite trees is the full first-order theory of equality in the Herbrand universum (the...
AbstractWe present a linear problem whose information complexity is finite but whose combinatory com...
SIGLETIB: RN 3147 (102) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...
The theory of finite trees is the full first-order theory of equality in the Herbrand universe (the ...
AbstractInfinite trees naturally arise in the formalization and the study of the semantics of progra...
SIGLEAvailable from TIB Hannover: RO 1829(1992,8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...
AbstractFor all the Borel classes of finite order, we construct weakly acceptable sets of infinite t...
Abstract. In order to deal efficiently with infinite regular trees (or other pointed graph structure...
In this work we count the number of structures resulting from the application of different kinds of ...
SIGLEAvailable from TIB Hannover: RN 4052(90679-OR) / FIZ - Fachinformationszzentrum Karlsruhe / TIB...
SIGLETIB: RO 5219 (66) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...
AbstractThis paper introduces a new complexity measure for binary sequences, the tree complexity. Th...
SIGLEAvailable from British Library Document Supply Centre- DSC:DX91560 / BLDSC - British Library Do...
AbstractIn (Discrete Math. 17 (1977)181) Rivest introduced the search complexity of binary trees and...
Tree sets are abstract structures that can be used to model various tree-shaped objects in combinato...
The theory of finite trees is the full first-order theory of equality in the Herbrand universum (the...
AbstractWe present a linear problem whose information complexity is finite but whose combinatory com...
SIGLETIB: RN 3147 (102) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...
The theory of finite trees is the full first-order theory of equality in the Herbrand universe (the ...
AbstractInfinite trees naturally arise in the formalization and the study of the semantics of progra...
SIGLEAvailable from TIB Hannover: RO 1829(1992,8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...
AbstractFor all the Borel classes of finite order, we construct weakly acceptable sets of infinite t...
Abstract. In order to deal efficiently with infinite regular trees (or other pointed graph structure...
In this work we count the number of structures resulting from the application of different kinds of ...
SIGLEAvailable from TIB Hannover: RN 4052(90679-OR) / FIZ - Fachinformationszzentrum Karlsruhe / TIB...
SIGLETIB: RO 5219 (66) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...
AbstractThis paper introduces a new complexity measure for binary sequences, the tree complexity. Th...
SIGLEAvailable from British Library Document Supply Centre- DSC:DX91560 / BLDSC - British Library Do...
AbstractIn (Discrete Math. 17 (1977)181) Rivest introduced the search complexity of binary trees and...
Tree sets are abstract structures that can be used to model various tree-shaped objects in combinato...
The theory of finite trees is the full first-order theory of equality in the Herbrand universum (the...
AbstractWe present a linear problem whose information complexity is finite but whose combinatory com...