1269 search results - page 38 / 254 » Pi-Calculus in Logical Form |
106
Voted
CF
2005
ACM
15 years 2 months ago
2005
ACM
This paper is about making reversible logic a reality for supercomputing. Reversible logic offers a way to exceed certain basic limits on the performance of computers, yet a power...
113
Voted
IANDC
2007
15 years 20 days ago
2007
We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provide...
189
Voted
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
106
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
95
Voted
LICS
1990
IEEE
15 years 4 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...