Search Sciweavers | Sciweavers

4401 search results - page 110 / 881

» Computing with Default Logic

139

click to vote

AINA
2004
IEEE

106views Computer Networks» more AINA 2004»

Distributed Logic Programming using Mobile Agents

15 years 10 months ago

Download www.doc.ic.ac.uk

Tzone I. Wang, Keith L. Clark

claim paper

Read More »

140

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 10 months ago

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

133

click to vote

BIRTHDAY
2006
Springer

94views Applied Computing» more BIRTHDAY 2006»

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

15 years 10 months ago

Download intramath.uniandes.edu.co

Xavier Caicedo

claim paper

Read More »

137

click to vote

CMSB
2006
Springer

105views Applied Computing» more CMSB 2006»

Modal Logics for Brane Calculus

15 years 10 months ago

Download users.dimi.uniud.it

Marino Miculan, Giorgio Bacci

claim paper

Read More »

145

click to vote

TAMC
2010
Springer

241views Applied Computing» more TAMC 2010»

Proof Complexity of Non-classical Logics

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers