Search Sciweavers | Sciweavers

506 search results - page 4 / 102

» Constructor-based observational logic

click to vote

TLCA
2009
Springer

158views Theoretical Computer Science» more TLCA 2009»

Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic

14 years 2 months ago

Download www.lix.polytechnique.fr

Abstract. We investigate the question of what constitutes a proof when quantiﬁers and multiplicative units are both present. On the technical level this paper provides two new as...

Lutz Straßburger

claim paper

Read More »

click to vote

ISCAS
1999
IEEE

72views Hardware» more ISCAS 1999»

Observing test response of embedded cores through surrounding logic

13 years 11 months ago

Download users.ece.utexas.edu

P. K. Jaini, Nur A. Touba

claim paper

Read More »

click to vote

AMAST
1998
Springer

79views Software Engineering» more AMAST 1998»

Observational Logic

13 years 11 months ago

Download www.lsv.ens-cachan.fr

Rolf Hennicker, Michel Bidoit

claim paper

Read More »

click to vote

CSFW
2006
IEEE

100views Security Privacy» more CSFW 2006»

A Temporal Logic Characterisation of Observational Determinism

13 years 11 months ago

Download www.loria.fr

Marieke Huisman, Pratik Worah, Kim Sunesen

claim paper

Read More »

click to vote

BIOSYSTEMS
2007

74views more BIOSYSTEMS 2007»

Internal logic viewed from observation space: Theory and a case study

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers