2911 search results - page 151 / 583 » A Theory of Expressiveness in Mechanisms |
132
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces the critical social theory of French sociologist Pierre Bourdieu. The objective of Bourdieu's theoretical framework is to uncover the buried organizatio...
165
click to vote
ENGL
2007
15 years 6 months ago
2007
— The aim of the present work is to present a characterization of the Gentzen System G by means of a regulated grammar, according to the Formal Languages Theory. Given a proposit...
166
click to vote
ARESEC
2011
14 years 6 months ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...
182
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
147
click to vote
CANDC
2009
ACM
15 years 11 months ago
2009
ACM
A tangible material is a primary element in the everyday creative practice of any craft artist. Although craft artists implicitly understand the expressive aspects of the tangible...