Search Sciweavers | Sciweavers

4401 search results - page 109 / 881

» Computing with Default Logic

click to vote

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

14 years 1 months ago

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

click to vote

DAC
1992
ACM

100views Computer Architecture» more DAC 1992»

Recurrence Equations and the Optimization of Synchronous Logic Circuits

14 years 29 days ago

Download si2.epfl.ch

Maurizio Damiani, Giovanni De Micheli

claim paper

Read More »

click to vote

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

14 years 29 days ago

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

click to vote

REX
1993

123views Logical Reasoning» more REX 1993»

Linear Logic on Petri Nets

14 years 28 days ago

Download www.brics.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

click to vote

CONCUR
1990
Springer

65views Distributed And Parallel Com...» more CONCUR 1990»

An Axiomatization of Lamport's Temporal Logic of Actions

14 years 28 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers