3319 search results - page 61 / 664 » Subshifts, Languages and Logic |
PPDP
1999
Springer
15 years 4 months ago
1999
Springer
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
83
Voted
POPL
1994
ACM
15 years 4 months ago
1994
ACM
76
Voted
AISC
2008
Springer
15 years 2 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition
158
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...