Search Sciweavers | Sciweavers

Solving analytic systems using inversion can be implemented in a variety of ways. One method is to use Lagrange inversion and variations. Here we present a different approach, base...

Philip Feinsilver, René Schott

claim paper

Read More »

122

click to vote

AISC
2006
Springer

66views Artificial Intelligence» more AISC 2006»

Labeled @-Calculus: Formalism for Time-Concerned Human Factors

15 years 10 months ago

Download www.cs.tsukuba.ac.jp

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, ...

claim paper

Read More »

132

click to vote

DEON
2004
Springer

88views Automated Reasoning» more DEON 2004»

Obligation Change in Dependence Logic and Situation Calculus

15 years 10 months ago

Download www.irit.fr

Robert Demolombe, Andreas Herzig

claim paper

Read More »

142

click to vote

CMSB
2006
Springer

105views Applied Computing» more CMSB 2006»

Modal Logics for Brane Calculus

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers