Search Sciweavers | Sciweavers

2501 search results - page 2 / 501

» Logics with Rank Operators

196

click to vote

POPL
2008
ACM

142views Programming Languages» more POPL 2008»

Cyclic proofs of program termination in separation logic

16 years 16 days ago

Download www.doc.ic.ac.uk

We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...

James Brotherston, Richard Bornat, Cristiano Calca...

claim paper

Read More »

click to vote

CORR
2008
Springer

112views Education» more CORR 2008»

n-ary Fuzzy Logic and Neutrosophic Logic Operators

15 years 10 days ago

Download fs.gallup.unm.edu

We extend Knuth's 16 Boolean binary logic operators to fuzzy logic and neutrosophic logic binary operators. Then we generalize them to n-ary fuzzy logic and neutrosophic logi...

Florentin Smarandache, V. Christianto

claim paper

Read More »

Voted

EUSFLAT
2009

142views Fuzzy Logic» more EUSFLAT 2009»

Aggregation Operators for Conditional Crispness

14 years 10 months ago

Download www.eusflat.org

Doretta Vivona, Maria Divari

claim paper

Read More »