Expressivity and decidability of first-order languages over feature trees [Elektronische Ressource] / von Rolf Backofen

Description

kmlhnpoqsrtvu1loZw&x:689FBL6>XZYP=?[\;>9FBE=?;DFE "!MP96Q4@?RS;>@C:T6HML9F:HU.=?;#E$&%=?;hMP96'ij=C=C:JIA=CBLML9F6 ?????Z???':HG:JIA=CBLK(BLK0ML9F6ON:J=CML9F6)+*,-)E MP9:^]_9FXZYLBL5A6>XZYP9B`a=?R+.Ib;c#ML9F:Hd.BL5bef9F:J685g;c/01*2ef@CB3y{z>zT|~}|>?p?8?T?45768689:<;>=?;>5A@CByz|"?|()???*$????p?.-"z}?|||?p?8?T?? &%'(?||!"#,p???|??~?|/""#"$||$&%'(&%'(|()?zT|"z0z+*|z|?z1324!?5??|?F?Z?Lr?Lw1????F?w&x|}|?&%?F?p?"~?p?F??#|5&%zT|%8?>||=Cz7z>zT|zzT|?"%z-"z8|}/-???p?1%?8?|zT}?Z?"#z8?""'"'-@?z?"/?|?3*?-|/+"yz?F?zQz?F??(*-NJz???}?????F?|}/-|?z|?z,1?p?y?"z@A0B+%"#-?"#?zJ|=+30?F?"-~???F??#(#!1???|"#-5%"#-&%z"->zT|,0$zG0?y""%?"'-|z}??????zF?}-/-??z1}((&%?"%(H|0?|??,|zF?p??

Sujets

• Informatik

Informations

• Publié par: universitat_des_saarlandes
• Publié le: 01 janvier 2004
• Nombre de lectures: 4
• Langue: English
• Poids de l'ouvrage: 1 Mo

Extrait

@C:T6HML9F:HU.=?;#E$&%=?;hMP96'ij=C=C:JIA=CBLML9F6 ?????Z???':HG:JIA=CBLK(BLK0ML9F6ON:J=CML9F6)+*,-)E MP9:^]_9FXZYLBL5A6>XZYP9B`a=?R+.Ib;c#ML9F:Hd.BL5bef9F:J685g;c/01*2ef@CB3y{z>zT|~}|>?p?8?T?45768689:=?;>5A@CByz|"?|()???*$????p?.-"z}?|||?p?8?T?? &%'(?||!"#,p???|??~?|/""#"$||$&%'(&%'(|()?zT|"z0z+*|z|?z1324!?5??|?F?Z?Lr?Lw1????F?w&x|}|?&%?F?p?"~?p?F??#|5&%zT|%8?>||=Cz7z>zT|zzT|?"%z-"z8|}/-???p?1%?8?|zT}?Z?"#z8?""'"'-@?z?"/?|?3*?-|/+"yz?F?zQz?F??(*-NJz???}?????F?|}/-|?z|?z,1?p?y?"z@A0B+%"#-?"#?zJ|=+30?F?"-~???F??#(#!1???|"#-5%"#-&%z"->zT|,0$zG0?y""%?"'-|z}??????zF?}-/-??z1}((&%?"%(H|0?|??,|zF?p??" />

kmlhnpoqsrtvu1loZw&x


:<VW5A6>689FBL6>XZYP=?[\;>9FB

E

=?;

DFE
"!
MP96Q4@?RS;>@C:T6HML9F:HU.=?;
#
E
$&%
=?;hMP96'ij=C=C:JIA=CBLML9F6

?????Z???
'
:HG:JIA=CBLK
(
BLK0ML9F6ON:J=CML9F6
)+*,-)
E

MP9:^]_9FXZYLBL5A6>XZYP9B`a=?R
+.
Ib;c
#
ML9F:Hd.BL5bef9F:J685g;c
/01*2
ef@CB
3
y{z>zT|~}|>

?p?8?T?
45768689:<;>=?;>5A@CBy
z
|

"
?
|


()
?


?
?
*

$
?
??

?
p?
.-"

z
}

?
|
|
|
?p?8?T?
?

&%'(

?
|
|
!"#
,
p???
|

?
?
~?
|
/"

"#"
$
|
|
$
&%'(
&%'(
|

()
?
zT|
"
z
0

z
+*
|
z
|
?
z

1324!
?
5

?
?
|?F?Z?


Lr


?
Lw
1???

?F?
w&x
|

}

|
?




&%


?
F?p?
"

~?p?F?
?
#



|

5&%
zT|
%
8?

>|
|
=C
z
7

z
>zT|



z
zT|
?

"

%

z


-
"
z
8|


}
/-
???p?
1%

?

8?
|
zT}
?Z?


"#

z
8?

"


"'
"'-
@

?


z
?





"
/
?
|
?
3*

?
-
|
/+
"

y


z
?
F?
zQz
?F?
?
(

*
-
NJ
z
???


}

?????



F?
|
}



/-
|
?
z

|


?
z


,
1?p?
y

?
"


z
@A0B+

%



"#-
?
"#

?

zJ|

=+30
?
F?
"
-
~???F?
?
#
(#!

1???
|
"#-
5%
"#-
&%

z
"

-
>zT|
,0

$
z
G0
?
y
"
"
%
?

"'