835 search results - page 47 / 167 » Geometric Logic in Computer Science |
CAD
2008
Springer
13 years 8 months ago
2008
Springer
Product data exchange requires exchanging geometrical shape data that may have to be represented differently in the sending and in the receiving system. Since the translation proc...
CAD
2005
Springer
13 years 8 months ago
2005
Springer
Point-based geometric models are gaining popularity in both the computer graphics and CAD fields. A related design/modelling problem is the focus of the reported research: drawing...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...