Searching for "Subtractive logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

79 documents found, showing 1 through 10. Next 10 →

Subtractive Logic
by Tristan Crolard — 1999
…Subtractive Logic To appear in Theoretical Computer Science Tristan Crolard crolard@ufr-info-p7…
Cited by 6 (1 self) – Add To MetaCart

A formulae-as-types interpretation of subtractive logic
by Tristan Crolard — 2004 — Journal of Logic and Computation
…A Formulae-as-Types Interpretation of Subtractive Logic TRISTAN CROLARD Laboratory of Algorithmics…
Cited by 11 (0 self) – Add To MetaCart

Decoupling Integer Execution in Superscalar Processors
by Subbarao Palacharla — 1995 — In Proc. of the 28th. Ann. Symp. on Microarchitecture
…, subtract and logical instructions. 1 Introduction Over the past few years processor microarchitectures have…
Cited by 12 (1 self) – Add To MetaCart

unknown title
by Natural Deduction
…@(email omitted); Summary. We study the proof-theory of the disjunctive-subtractive fragment of dual intuitionistic logic…
Add To MetaCart

A TERM ASSIGNMENT FOR DUAL INTUITIONISTIC LOGIC.
by Gianluigi Bellin, Nicola Gambino, Maria Emilia Maietti, Kurt Ranalter, Edmund Robinson
… Crolard presents a Natural Deduction system and a term assignment for Subtractive Logic, called λµ…
Add To MetaCart

NATURAL DEDUCTION AND TERM ASSIGNMENT FOR CO-HEYTING ALGEBRAS IN POLARIZED BI-INTUITIONISTIC LOGIC.
by Gianluigi Bellin
… of subtraction A � B, read as “A but not B”, which is dual to implication. 1 The logic PBL is polarized…
Add To MetaCart

Multimedia Extensions To Tinker
by Matthew D. Jennings
… operations include packed versions of addition, logical addition, subtraction, logical subtraction, average…
Add To MetaCart

Computation of the Least Significant Set Bit
by Andrej Brodnik — 1993 — In Proceedings of the 2nd Electrotechnical and Computer Science Conference, Portoroz
… of time arithmetic operations of multiplication, addition and subtraction; logical operations of bitwise…
Cited by 11 (5 self) – Add To MetaCart

Overview Of The Pipe Processor Implementation
by Matthew Farrens, Andrew R. Pleszkun — 1991 — Proceedings of the 24th Annual Hawaii International Conference on System Sciences, Kapaa, Kauai
… repertoire of 3 operand instructions; addition, subtraction, logical operations, and shifts in their various…
Cited by 3 (3 self) – Add To MetaCart

Post Processing Optimization of Byte-Code Instructions By Extension of Its Virtual Machine.
by Prabhas Chongstitvatana Department, Prabhas Chongstitvatana — 1997 — y,z P (y, z) - d d# ln # p(z|y) 1+(#-1)p(z # |y) if z #= z # #p(z # |y) 1+(#-1)p(z # |y) if z = z # = # y,z -P (y, z) # p(z|y) 1+(#-1)p(z # |y) if z #= z # #p(z # |y) 1+(#-1)p(z # |y) if z = z # d d# # p(z|y) 1+(#-1)p(z # |y) if z #= z # #p(z # |y) 1+(#-1
… * / && multiply, divide, logical and + - || add, subtract, logical or < <= == != >= > relational operators Figure…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB