8949 search results - page 593 / 1790 » is 1998 |
156
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
271
click to vote
FTP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
152
click to vote
GCB
1998
Springer
15 years 11 months ago
1998
Springer
Summary: One of the distinguishing criteria of the SWISSPROT protein sequence data bank is minimal redundancy.
