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 »

click to vote

AISC
2006
Springer

66views Artificial Intelligence» more AISC 2006»

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

15 years 8 months ago

Download www.cs.tsukuba.ac.jp

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

claim paper

Read More »

108

Voted

DEON
2004
Springer

88views Automated Reasoning» more DEON 2004»

Obligation Change in Dependence Logic and Situation Calculus

15 years 8 months ago

Download www.irit.fr

Robert Demolombe, Andreas Herzig

claim paper

Read More »

105

click to vote

CMSB
2006
Springer

105views Applied Computing» more CMSB 2006»

Modal Logics for Brane Calculus

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers