Search Sciweavers | Sciweavers

1391 search results - page 15 / 279

» Completeness of Neighbourhood Logic

174

click to vote

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 10 months ago

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

130

click to vote

RELMICS
2000
Springer

73views Theoretical Computer Science» more RELMICS 2000»

On the Completeness of Propositional Hoare Logic

15 years 9 months ago

Download ecommons.library.cornell.edu

Dexter Kozen, Jerzy Tiuryn

claim paper

Read More »

149

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

15 years 9 months ago

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

114

click to vote

FSS
2007

128views more FSS 2007»

Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results

15 years 6 months ago

Download www.carlesnoguera.cat

Francesc Esteva, Joan Gispert, Lluis Godo, Carles ...

claim paper

Read More »

click to vote

JSYML
2000

45views more JSYML 2000»

Topological Completeness for Higher-Order Logic

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers