Sciweavers

294 search results - page 7 / 59

» Modal Event Calculus

22

TYPES
1998
Springer

117views Formal Methods» more TYPES 1998»

A Modal Lambda Calculus with Iteration and Case Constructs

13 years 12 months ago

A Modal Lambda Calculus with Iteration and Case Constructs

Download hal.inria.fr

Joëlle Despeyroux, Pierre Leleu

claim paper

Read More »

22

CMSB
2006
Springer

105views Applied Computing» more CMSB 2006»

Modal Logics for Brane Calculus

13 years 11 months ago

Modal Logics for Brane Calculus

Download users.dimi.uniud.it

Marino Miculan, Giorgio Bacci

claim paper

Read More »

19

DALT
2006
Springer

73views Intelligent Agents» more DALT 2006»

A Fibred Tableau Calculus for Modal Logics of Agents

13 years 11 months ago

A Fibred Tableau Calculus for Modal Logics of Agents

Download espace.uq.edu.au

Vineet Padmanabhan, Guido Governatori

claim paper

Read More »

22

LOGCOM
2008

79views more LOGCOM 2008»

General Models and Completeness of First-Order Modal µ-calculus

13 years 7 months ago

General Models and Completeness of First-Order Modal µ-calculus

Download dspace.wul.waseda.ac.jp

Ryo Kashima, Keishi Okamoto

claim paper

Read More »

5

JFLP
2000

30views more JFLP 2000»

Metatheoretic Results for a Modal lambda-Calculus

13 years 7 months ago

Metatheoretic Results for a Modal lambda-Calculus

Download hal.archives-ouvertes.fr

Joëlle Despeyroux, Pierre Leleu

claim paper

Read More »

« Prev « First page 7 / 59 Last » Next »