3319 search results - page 61 / 664 » Subshifts, Languages and Logic |
PPDP
1999
Springer
14 years 1 months ago
1999
Springer
IFIP
1994
Springer
14 years 1 months ago
1994
Springer
POPL
1994
ACM
14 years 1 months ago
1994
ACM
AISC
2008
Springer
13 years 11 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition
CORR
2011
Springer
13 years 1 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...