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

15 years 3 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

15 years 3 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]

14 years 11 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

14 years 11 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

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers