Search Sciweavers | Sciweavers

4217 search results - page 85 / 844

» Computational indistinguishability logic

click to vote

CONCUR
1990
Springer

65views Distributed And Parallel Com...» more CONCUR 1990»

An Axiomatization of Lamport's Temporal Logic of Actions

15 years 2 months ago

Download www.hpl.hp.com

Martín Abadi

claim paper

Read More »

click to vote

AINA
2004
IEEE

106views Computer Networks» more AINA 2004»

Distributed Logic Programming using Mobile Agents

15 years 1 months ago

Download www.doc.ic.ac.uk

Tzone I. Wang, Keith L. Clark

claim paper

Read More »

click to vote

CONCUR
2004
Springer

87views Distributed And Parallel Com...» more CONCUR 2004»

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

15 years 1 months ago

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

Voted

BIRTHDAY
2006
Springer

94views Applied Computing» more BIRTHDAY 2006»

Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic

15 years 1 months ago

Download intramath.uniandes.edu.co

Xavier Caicedo

claim paper

Read More »

click to vote

CMSB
2006
Springer

105views Applied Computing» more CMSB 2006»

Modal Logics for Brane Calculus

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers