1269 search results - page 89 / 254 » Pi-Calculus in Logical Form |
84
Voted
EACL
1989
ACL Anthology
15 years 1 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...
99
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
134
click to vote
FAC
2007
15 years 18 days ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
108
click to vote
AUTOMATICA
1999
15 years 10 days ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
114
Voted
TCS
2010
14 years 11 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...