3179 search results - page 68 / 636 » Applications of PCF Theory |
87
Voted
LANMR
2007
15 years 1 months ago
2007
The best-known application of dialetheism is to semantic paradoxes such as the Liar. In particular, Graham Priest has advocated the adoption of an axiomatic truth theory in which c...
112
click to vote
AMAI
2007
Springer
15 years 20 days ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
107
Voted
BPM
2006
Springer
15 years 2 months ago
2006
Springer
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
87
Voted
I3E
2001
15 years 1 months ago
2001
The notion of the "stakeholders" of the firm has drawn ever-increasing attention since Freeman published his seminal book on Strategic Management: A Stakeholder Approach...
142
Voted
CADE
2005
Springer
16 years 25 days ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...