Search Sciweavers | Sciweavers

3733 search results - page 55 / 747

» Logics of communication and change

click to vote

CADE
2006
Springer

137views Logical Reasoning» more CADE 2006»

Dynamic Logic with Non-rigid Functions

15 years 10 months ago

Download symbolaris.com

We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...

Bernhard Beckert, André Platzer

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

89views Applied Computing» more BIRTHDAY 2006»

Research Perspectives for Logic and Deduction

15 years 1 months ago

Download www.intellektik.de

The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...

Wolfgang Bibel

claim paper

Read More »

click to vote

ESOP
2003
Springer

100views Programming Languages» more ESOP 2003»

Finite Differencing of Logical Formulas for Static Analysis

15 years 3 months ago

Download groups.csail.mit.edu

Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), deﬁned via a logical formula over core pred...

Thomas W. Reps, Shmuel Sagiv, Alexey Loginov

claim paper

Read More »

click to vote

INFOCOM
2009
IEEE

136views Communications» more INFOCOM 2009»

XOR-Assisted Cooperative Diversity in OFDMA Wireless Networks: Optimization Framework and Approximation Algorithms

15 years 4 months ago

Download www.eecg.toronto.edu

Cheng-Shang Chang, Yu-Hao Hsu, Jay Cheng, Duan-Shi...

claim paper

Read More »