Search Sciweavers | Sciweavers

4401 search results - page 110 / 881

» Computing with Default Logic

click to vote

AINA
2004
IEEE

106views Computer Networks» more AINA 2004»

Distributed Logic Programming using Mobile Agents

14 years 19 days 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

14 years 18 days ago

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

94views Applied Computing» more BIRTHDAY 2006»

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

14 years 18 days 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

14 years 18 days ago

Download users.dimi.uniud.it

Marino Miculan, Giorgio Bacci

claim paper

Read More »

click to vote

TAMC
2010
Springer

241views Applied Computing» more TAMC 2010»

Proof Complexity of Non-classical Logics

14 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers