Search Sciweavers | Sciweavers

4401 search results - page 112 / 881

» Computing with Default Logic

click to vote

CONCUR
1991
Springer

92views Distributed And Parallel Com...» more CONCUR 1991»

Geometric Logic, Causality and Event Structures

14 years 12 days ago

Download www.hpl.hp.com

Jeremy Gunawardena

claim paper

Read More »

click to vote

BIRTHDAY
1987
Springer

79views Applied Computing» more BIRTHDAY 1987»

Existential Fixed-Point Logic

14 years 11 days ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

101views Applied Computing» more BIRTHDAY 2005»

Modelling Evolvable Systems: A Temporal Logic View

13 years 10 months ago

Download www.cs.man.ac.uk

Howard Barringer, David E. Rydeheard

claim paper

Read More »

click to vote

DAC
2008
ACM

121views Computer Architecture» more DAC 2008»

Functionally linear decomposition and synthesis of logic circuits for FPGAs

13 years 10 months ago

Download www.eecg.utoronto.ca

Tomasz S. Czajkowski, Stephen Dean Brown

claim paper

Read More »

click to vote

GG
2008
Springer

78views Theoretical Computer Science» more GG 2008»

From Separation Logic to Hyperedge Replacement and Back

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers