Search Sciweavers | Sciweavers

289 search results - page 8 / 58

» The logic of bunched implications

click to vote

JELIA
1998
Springer

62views Artificial Intelligence» more JELIA 1998»

Implicates and Reduction Techniques for Temporal Logics

13 years 11 months ago

Download sevein.matap.uma.es

Inman P. de Guzmán, Manuel Ojeda-Aciego, Ag...

claim paper

Read More »

click to vote

VTS
1997
IEEE

61views Hardware» more VTS 1997»

Static logic implication with application to redundancy identification

13 years 11 months ago

Download www.ece.cmu.edu

Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Pate...

claim paper

Read More »

click to vote

FSS
2006

74views more FSS 2006»

Corrigendum to "The logic of tied implications, part 2: Syntax" [Fuzzy Sets and Systems 157(2006)2030-2057]

13 years 7 months ago

Download math.guc.edu.eg

Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Sal...

claim paper

Read More »

click to vote

NDJFL
2000

45views more NDJFL 2000»

An Intriguing Logic with Two Implicational Connectives

13 years 7 months ago

Download www.arts.monash.edu.au

Lloyd Humberstone

claim paper

Read More »

click to vote

AI
2010
Springer

157views Artificial Intelligence» more AI 2010»

Learning complex action models with quantifiers and logical implications

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers