Search Sciweavers | Sciweavers

3239 search results - page 40 / 648

» A Logical Process Calculus

100

click to vote

WOLLIC
2007
Springer

83views Artificial Intelligence» more WOLLIC 2007»

Pregroup Calculus as a Logic Functor

15 years 9 months ago

Download www.irisa.fr

Annie Foret

claim paper

Read More »

click to vote

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

A Term Calculus for Intuitionistic Linear Logic

15 years 7 months ago

Download www.dpmms.cam.ac.uk

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...

claim paper

Read More »

100

click to vote

DEON
2004
Springer

88views Automated Reasoning» more DEON 2004»

Obligation Change in Dependence Logic and Situation Calculus

15 years 6 months ago

Download www.irit.fr

Robert Demolombe, Andreas Herzig

claim paper

Read More »

click to vote

CMSB
2006
Springer

105views Applied Computing» more CMSB 2006»

Modal Logics for Brane Calculus

15 years 6 months ago

Download users.dimi.uniud.it

Marino Miculan, Giorgio Bacci

claim paper

Read More »

click to vote

DALT
2006
Springer

73views Intelligent Agents» more DALT 2006»

A Fibred Tableau Calculus for Modal Logics of Agents

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers