4617 search results - page 314 / 924 » Automation of Diagrammatic Reasoning |
136
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We show that Gentzen's sequent calculus admits generalization of semi-terms of particularly simple form. This theorem extends one of the main results in [BS95] to la...
150
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
160
click to vote
CL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
161
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
We provide an algorithm that can construct a valid moving region from snapshots of a region in time. Our algorithm is robust in the sense that given valid input regions, the gener...
199
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...