Search Sciweavers | Sciweavers

4217 search results - page 87 / 844

» Computational indistinguishability logic

click to vote

ICCS
1995
Springer

178views Applied Computing» more ICCS 1995»

Conceptual Graphs and First-Order Logic

15 years 1 months ago

Download www.dcs.gla.ac.uk

Michel Wermelinger

claim paper

Read More »

click to vote

CONCUR
1991
Springer

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

Geometric Logic, Causality and Event Structures

15 years 1 months 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

15 years 1 months 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

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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers