Sciweavers

266 search results - page 7 / 54

» Equational Logics

20

DAC
1992
ACM

100views Computer Architecture» more DAC 1992»

Recurrence Equations and the Optimization of Synchronous Logic Circuits

13 years 11 months ago

Recurrence Equations and the Optimization of Synchronous Logic Circuits

Download si2.epfl.ch

Maurizio Damiani, Giovanni De Micheli

claim paper

Read More »

21

PLILP
1992
Springer

86views Programming Languages» more PLILP 1992»

UCG-E: An Equational Logic Programming System

13 years 11 months ago

UCG-E: An Equational Logic Programming System

Download homepage.cs.uri.edu

Lutz H. Hamel

claim paper

Read More »

14

ICCAD
1990
IEEE

48views Hardware» more ICCAD 1990»

High-Level Delay Estimation for Technology-Independent Logic Equations

13 years 11 months ago

High-Level Delay Estimation for Technology-Independent Logic Equations

Download www.cse.hcmut.edu.vn

David E. Wallace, Mandalagiri S. Chandrasekhar

claim paper

Read More »

16

BIRTHDAY
2008
Springer

67views Applied Computing» more BIRTHDAY 2008»

Declarative Debugging of Membership Equational Logic Specifications

13 years 9 months ago

Declarative Debugging of Membership Equational Logic Specifications

Download maude.sip.ucm.es

Rafael Caballero, Narciso Martí-Oliet, Adri...

claim paper

Read More »

11

MSCS
2002

66views more MSCS 2002»

Axiomatizability in Inclusive Equational Logics

13 years 7 months ago

Axiomatizability in Inclusive Equational Logics

Download fsl.cs.uiuc.edu

Grigore Rosu

claim paper

Read More »

« Prev « First page 7 / 54 Last » Next »