Search Sciweavers | Sciweavers

2272 search results - page 139 / 455

» A Calculus for

170

Voted

KR
2010
Springer

225views Automated Reasoning» more KR 2010»

State Defaults and Ramifications in the Unifying Action Calculus

15 years 11 months ago

Download www.informatik.uni-leipzig.de

Ringo Baumann, Gerhard Brewka, Hannes Strass, Mich...

claim paper

Read More »

122

click to vote

MPC
2010
Springer

141views Mathematics» more MPC 2010»

Sampling, Splitting and Merging in Coinductive Stream Calculus

15 years 11 months ago

Download homepages.cwi.nl

Milad Niqui, Jan Rutten

claim paper

Read More »

134

click to vote

CADE
2009
Springer

134views Logical Reasoning» more CADE 2009»

A Tableau Calculus for Regular Grammar Logics with Converse

15 years 11 months ago

Download www.mimuw.edu.pl

Linh Anh Nguyen, Andrzej Szalas

claim paper

Read More »

165

click to vote

AGENTS
2001
Springer

202views Security Privacy» more AGENTS 2001»

Designing and executing protocols using the event calculus

15 years 11 months ago

Download www.cmpe.boun.edu.tr

Pinar Yolum, Munindar P. Singh

claim paper

Read More »

144

click to vote

SAS
2001
Springer

151views Formal Methods» more SAS 2001»

A Behavioral Module System for the Pi-Calculus

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers