Search Sciweavers | Sciweavers

3515 search results - page 101 / 703

» On the semantics of Strategy Logic

164

click to vote

ESWS
2007
Springer

116views Internet Technology» more ESWS 2007»

Logic as a Power Tool to Model Negotiation Mechanisms in the Semantic Web Era

15 years 9 months ago

Download sisinflab.poliba.it

Azzurra Ragone

claim paper

Read More »

139

click to vote

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 8 months ago

Download www.cs.princeton.edu

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...

claim paper

Read More »

122

Voted

DAGSTUHL
2008

89views Software Engineering» more DAGSTUHL 2008»

08061 Abstracts Collection -- Types, Logics and Semantics for State

15 years 8 months ago

Download drops.dagstuhl.de

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...

claim paper

Read More »

168

Voted

AIML
2006

113views Logical Reasoning» more AIML 2006»

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales

15 years 8 months ago

Download homepages.mcs.vuw.ac.nz

Robert Goldblatt

claim paper

Read More »

183

Voted

CLIMA
2006

110views Intelligent Agents» more CLIMA 2006»

A New Logical Semantics for Agent Communication

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers