1269 search results - page 52 / 254 » Pi-Calculus in Logical Form |
108
Voted
FPGA
2008
ACM
15 years 2 months ago
2008
ACM
Logical effort (LE) is a linear technique for modelling the delay of a circuit in a technology independent manner. It offers the potential to simplify delay models for FPGAs and g...
103
Voted
CORR
2008
Springer
15 years 23 days ago
2008
Springer
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...
98
Voted
AMAI
2005
Springer
15 years 18 days ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
103
Voted
ENTCS
2000
15 years 15 days ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
145
Voted
LPNMR
2011
Springer
14 years 3 months ago
2011
Springer
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...