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

15 years 2 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

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

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

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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers