Search Sciweavers | Sciweavers

3776 search results - page 50 / 756

» Partition-Based Logical Reasoning

click to vote

LICS
2010
IEEE

142views Automated Reasoning» more LICS 2010»

On Strong Maximality of Paraconsistent Finite-Valued Logics

13 years 8 months ago

Download www2.mta.ac.il

Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...

Arnon Avron, Ofer Arieli, Anna Zamansky

claim paper

Read More »

click to vote

CADE
2008
Springer

113views Logical Reasoning» more CADE 2008»

MTT: The Maude Termination Tool (System Description)

14 years 10 months ago

Download users.dsic.upv.es

Francisco Durán, Salvador Lucas, José...

claim paper

Read More »

click to vote

CADE
2007
Springer

100views Logical Reasoning» more CADE 2007»

Efficient E-Matching for SMT Solvers

14 years 10 months ago

Download research.microsoft.com

Leonardo Mendonça de Moura, Nikolaj Bj&osla...

claim paper

Read More »

click to vote

CADE
2005
Springer

86views Logical Reasoning» more CADE 2005»

Proving Properties of Incremental Merkle Trees

14 years 10 months ago

Download www.jaist.ac.jp

Mizuhito Ogawa, Eiichi Horita, Satoshi Ono

claim paper

Read More »

click to vote

CADE
2005
Springer

100views Logical Reasoning» more CADE 2005»

On the Complexity of Equational Horn Clauses

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers