A Proof-Theoretic Approach to Irrelevance: Foundations and Applications

Alon Y. Levy, Richard E. Fikes, Yehoshua Sagiv

Research output: Contribution to conference › Paper › peer-review

3 Scopus citations

Original language	English
Pages	136-140
Number of pages	5
State	Published - 1994
Event	1994 AAAI Fall Symposium on Relevance - New Orleans, United States Duration: 4 Nov 1994 → 6 Nov 1994

Conference	1994 AAAI Fall Symposium on Relevance
Country/Territory	United States
City	New Orleans
Period	4/11/94 → 6/11/94

Cite this

@conference{2355d771856543cf999437a0eded05b8,

title = "A Proof-Theoretic Approach to Irrelevance: Foundations and Applications",

author = "Levy, {Alon Y.} and Fikes, {Richard E.} and Yehoshua Sagiv",

year = "1994",

language = "אנגלית",

pages = "136--140",

note = "1994 AAAI Fall Symposium on Relevance ; Conference date: 04-11-1994 Through 06-11-1994",

}

TY - CONF

T1 - A Proof-Theoretic Approach to Irrelevance

T2 - 1994 AAAI Fall Symposium on Relevance

AU - Levy, Alon Y.

AU - Fikes, Richard E.

AU - Sagiv, Yehoshua

PY - 1994

Y1 - 1994

UR - http://www.scopus.com/inward/record.url?scp=30244515297&partnerID=8YFLogxK

M3 - ???researchoutput.researchoutputtypes.contributiontoconference.paper???

AN - SCOPUS:30244515297

SP - 136

EP - 140

Y2 - 4 November 1994 through 6 November 1994

ER -